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