Minimal-Time Synthesis for Parametric Timed Automata.

Étienne André Vincent Bloemen Laure Petrucci Jaco van de Pol

Published in: TACAS (2) (2019)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
neural network
data mining
computer vision
evolutionary algorithm
incremental algorithms
markov decision processes
database
image sequences
decision trees
databases
real time