Details for the publication MengALTZ26.

Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang: SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation. In VMCAI'26, 2026. URL