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

Contact ORBi UMONS