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 Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings, volume 16417 of Lecture Notes in Computer Science, pages 173-196, 2026. DOI BIB