Login / Signup
Infinite Runs in Weighted Timed Automata with Energy Constraints.
Patricia Bouyer
Ulrich Fahrenberg
Kim Guldstrand Larsen
Nicolas Markey
Jirí Srba
Published in:
FORMATS (2008)
Keyphrases
</>
timed automata
energy consumption
model checking
theorem proving
constraint programming
theorem prover
first order logic
constraint satisfaction
constrained optimization
real time systems
reachability analysis
relational databases
distributed systems
inference rules