On Implementable Timed Automata.

Sergio Feo Arenis Milan Vujinovic Bernd Westphal

Published in: FORTE (2020)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
temporal logic
artificial intelligence
distributed systems