Hypernode Automata

Published in CONCUR, 2023

📝 Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2023). "Hypernode Automata." CoRR.
Download Paper