Improved undecidability results on weighted timed automata.

Patricia Bouyer Thomas Brihaye Nicolas Markey

Published in: Inf. Process. Lett. (2006)

Keyphrases

timed automata
model checking
reachability analysis
description logics
theorem prover
data mining
website
state space
scheduling problem
weighted sum