SAT-Based Synthesis of Minimal Deterministic Real-Time Automata via 3DRTA Representation.

Junjie Meng, Jie An, Yong Li, Andrea Turrini, Miaomiao Zhang

Browse the full VMCAI paper archive.