Bounded determinization of timed automata with silent transitions.

Florian Lorber Amnon Rosenmann Dejan Nickovic Bernhard K. Aichernig

Published in: Real Time Syst. (2017)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
data mining
information systems
similarity measure
database
data sets
decision making
web pages
dynamic programming
software engineering
real time systems