Paper accepted at VMCAI'26

We are delighted that our paper about a SAT-based synthesis of minimal deterministic real-time automata via 3DRTA representation has been accepted at VMCAI’26.