Timed recursive state machines: Expressiveness and complexity von Benerecetti, Massimo, Peron, Adriano

Volltext

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games von Benerecetti, Massimo, Dell'Erba, Daniele, Mogavero, Fabio

Volltext

A Delayed Promotion Policy for Parity Games von Benerecetti, Massimo, Dell'Erba, Daniele, Mogavero, Fabio

Volltext

Solving mean-payoff games via quasi dominions von Benerecetti, Massimo, Dell'Erba, Daniele, Mogavero, Fabio

Volltext

Taming Strategy Logic: Non-Recurrent Fragments von Benerecetti, Massimo, Mogavero, Fabio, Peron, Adriano

Volltext

Priority Promotion with Parysian flair von Benerecetti, Massimo, Dell'Erba, Daniele, Mogavero, Fabio, Schewe, Sven, Wojtczak, Dominik

Volltext

Tracking smooth trajectories in linear hybrid systems von Benerecetti, Massimo, Faella, Marco

Volltext

Robust worst cases for parity games algorithms von Benerecetti, Massimo, Dell'Erba, Daniele, Mogavero, Fabio

Volltext

A delayed promotion policy for parity games von Benerecetti, Massimo, Dell'Erba, Daniele, Mogavero, Fabio

Volltext

Alternating (In)Dependence-Friendly Logic von Bellier, Dylan, Benerecetti, Massimo, Della Monica, Dario, Mogavero, Fabio

Volltext

Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control von Benerecetti, Massimo, Faella, Marco

Volltext

Solving parity games via priority promotion von Benerecetti, Massimo, Dell’Erba, Daniele, Mogavero, Fabio

Volltext

Good-for-Game QPTL: An Alternating Hodges Semantics von Bellier, Dylan, Benerecetti, Massimo, Monica, Dario Della, Mogavero, Fabio

Volltext

Towards Efficient Exact Synthesis for Linear Hybrid Systems von Benerecetti, Massimo, Faella, Marco, Minopoli, Stefano

Volltext

Good-for-Game QPTL: An Alternating Hodges Semantics von Bellier, Dylan, Benerecetti, Massimo, Monica, Dario Della, Mogavero, Fabio

Volltext

Timed protocol insecurity problem is NP-complete von Benerecetti, Massimo, Peron, Adriano

Volltext

Automatic synthesis of switching controllers for linear hybrid systems: Safety control von Benerecetti, Massimo, Faella, Marco, Minopoli, Stefano

Volltext

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers von Nardone, Roberto, Marrone, Stefano, Gentile, Ugo, Amato, Aniello, Barberio, Gregorio, Benerecetti, Massimo, De Guglielmo, Renato, Di Martino, Beniamino, Mazzocca, Nicola, Peron, Adriano, Pisani, Gaetano, Velardi, Luigi, Vittorini, Valeria

Volltext

Reasoning About Substructures and Games von Benerecetti, Massimo, Mogavero, Fabio, Murano, Aniello

Volltext

Counterexample-guided abstraction refinement for linear programs with arrays von Armando, Alessandro, Benerecetti, Massimo, Mantovani, Jacopo

Volltext