C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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