Hypernode automata. - Bartocci, Ezio; Chalupa, Marek; Henzinger, Thomas A.; Nickovic, Dejan; Oliveira da Costa, Ana (Acta Informatica, 2025)