LTL to smaller self-loop alternating automata and back
From MaRDI portal
Publication:2279120
DOI10.1007/978-3-030-32505-3_10MaRDI QIDQ2279120
Jan Strejček, František Blahoudek, Juraj Major
Publication date: 12 December 2019
Full work available at URL: https://arxiv.org/abs/1908.04645
68Qxx: Theory of computing