Solving Mean-Payoff Games via Quasi Dominions

von Benerecetti, Massimo
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

From Quasi-Dominions to Progress Measures

von Benerecetti, Massimo
Veröffentlicht in Aspects of computation - in celebration of the research work of Professor Rod Downey (Veranstaltung : 2017 : Singapur) Aspects of computation and automata theory with applications (2024)

Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems

von Benerecetti, Massimo
Veröffentlicht in QUATIC (14. : 2021 : Online) Quality of Information and Communications Technology (2021)