The Timestamp of Timed Automata.

Amnon Rosenmann

Published in: FORMATS (2019)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
access patterns
first order logic
real time systems
data records
temporal logic
data sets
databases
real world
artificial intelligence