activity
20142023
most citedThe Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix)

4 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.FL2016★ 2 cited

Corrections to A Menagerie of Timed Automata

Jeroen J. A. Keiren, Peter Fontana, Rance Cleaveland

This note corrects a technical error in the ACM Computing Surveys paper mentioned in the title. The flaw involved constructions for showing that timed automata with urgent location…