A Benchmarks Library for Extended Parametric Timed Automata.

Étienne André Dylan Marinho Jaco van de Pol

Published in: TAP@STAF (2021)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
real world
real time systems
objective function
database
video sequences
cross platform
parametric models
high level
computer vision
genetic algorithm
data mining
data sets
real time