Zone extrapolations in parametric timed automata.

Johan Arcile Étienne André

Published in: CoRR (2022)

Keyphrases

timed automata
model checking
theorem prover
reachability analysis
first order logic
theorem proving
real time systems
real world
genetic algorithm
computer vision
case study
multiscale
evolutionary algorithm
low cost
parametric models