Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.

Martin Fränzle Mani Swaminathan

Published in: FORMATS (2009)

Keyphrases

timed automata
model checking
reachability analysis
theorem proving
state space
description logics
transitive closure
first order logic
website
multiscale
neural network
query answering
theorem prover
global optimum
decision procedures
data sets
database