Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata.

Susanna Donatelli Serge Haddad

Published in: FORMATS (2020)

Keyphrases

timed automata
model checking
reachability analysis
real time
first order logic
theorem prover
theorem proving
expressive power
fixed point
temporal logic
genetic algorithm
artificial intelligence
cooperative
search algorithm
dynamic programming
logic programs