Integer-Complete Synthesis for Bounded Parametric Timed Automata.

Étienne André Didier Lime Olivier H. Roux

Published in: RP (2015)

Keyphrases

timed automata
model checking
theorem prover
temporal logic
theorem proving
program synthesis
first order logic
genetic algorithm
search engine
e learning
knowledge base
decision trees
reachability analysis