Massimo Benerecetti, Laura Bozzelli, Fabio Mogavero, Adriano Peron. Automata-Theoretic Characterisations of Branching-Time Temporal Logics. In Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson, editors, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, July 8-12, 2024, Tallinn, Estonia. Volume 297 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.