On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract).

Jaco van de Pol Laure Petrucci

Published in: WADT (2020)

Keyphrases

extended abstract
timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
program synthesis
temporal logic
genetic algorithm
computer vision
data structure
inference rules
bayesian networks
mobile robot
search engine
artificial intelligence
databases