Hypernode automata

Published in Acta Informatica, 2025

📝 Ezio Bartocci, Marek Chalupa, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2025). "Hypernode automata." Acta Informatica.
Download Paper