Undecidability of Universality for Timed Automata with Minimal Resources.

Sara Adams Joël Ouaknine James Worrell

Published in: FORMATS (2007)

Keyphrases

timed automata
model checking
reachability analysis
resource management
description logics
theorem prover
computing resources
cellular automata
limited resources
real time
data sets
case study
resource allocation
temporal logic
theorem proving