Nicolas Mazzocchi

Examines safety and liveness concepts in quantitative automata for system verification.

A look at strategic dominance and its impact on computational models.

Discover the role of QuAK in assessing system performance and safety.

Explore the fascinating world of games shaped by time and strategy.