Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata

by Dario Della Monica, Angelo Montanari, Pietro Sala
Published 2017-09-01

Model checking coalitional games in shortage resource scenarios

by Dario Della Monica, Margherita Napoli, Mimmo Parente
Published 2013-07-01

Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story

by David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica
Published 2015-12-01

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture

by Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco
Published 2012-10-01