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