Discount-Optimal Infinite Runs in Priced Timed Automata.

Ulrich Fahrenberg Kim Guldstrand Larsen

Published in: INFINITY (2009)

Keyphrases

timed automata
model checking
low cost
database
optimal design
databases
real world
machine learning
artificial intelligence
database systems
expert systems
knowledge representation
software engineering
closed form
optimal control
theorem proving