Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata.

Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Grer

Browse the full LICS paper archive.