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

Technical Report PDF: 
Technical Report Number: 
2008.115
TitleAlmost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata
Publication TypeConference Paper
Year of Publication2008
AuthorsBaier, C, Bertrand N, Bouyer P, Brihaye T, Größer M
Conference NameLICS