A Benchmarks Library for Extended Parametric Timed Automata.

Étienne André Dylan Marinho Jaco van de Pol

Published in: CoRR (2021)

Keyphrases

timed automata
model checking
reachability analysis
theorem proving
first order logic
data mining
low cost
cross platform
artificial intelligence
information systems
image processing
multiresolution
dynamic programming
knowledge representation
benchmark suite