LTL to smaller self-loop alternating automata and back

DOI10.1007/978-3-030-32505-3_10OpenAlexW2982539700MaRDI QIDQ2279120

František Blahoudek, Juraj Major, Jan Strejček

Publication date: 12 December 2019

Full work available at URL: https://arxiv.org/abs/1908.04645

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Determinization and limit-determinization of Emerson-Lei automata ⋮ LTL to self-loop alternating automata with generic acceptance and back

This page was built for publication: LTL to smaller self-loop alternating automata and back