Bounded Determinization of Timed Automata with Silent Transitions.

Florian Lorber Amnon Rosenmann Dejan Nickovic Bernhard K. Aichernig

Published in: CoRR (2015)

Keyphrases

timed automata
model checking
reachability analysis
theorem proving
theorem prover
real time systems
first order logic
asymptotically optimal
temporal logic
real time
np complete
low cost
artificial neural networks
expert systems
multiscale
decision trees
feature selection