Fast Obligation Translation and Synthesis

Alexandre Duret-Lutz, Giuseppe De Giacomo, Marcin Jurdzinski +3

Syntactic obligations are a fragment of LTL formulas that translate to deterministic weak $\ddot{I}‰$-automata (DWA). We show that syntactic obligations can be very efficiently converted…