Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference.

Georgios Giantamidis, Stylianos Basagiannis, Stavros Tripakis

Browse the full SAFECOMP paper archive.