collaborators

1 paper

cs.LO2025

A Zone-Based Algorithm for Timed Parity Games

Gilles Geeraerts, Frédéric Herbreteau, Jean-François Raskin +1

This paper revisits timed games by building upon the semantics introduced in "The Element of Surprise in Timed Games". We introduce some modifications to this semantics for two pri…