Efficient Convex Zone Merging in Parametric Timed Automata.

Étienne André Dylan Marinho Laure Petrucci Jaco van de Pol

Published in: CoRR (2022)

Keyphrases

timed automata
databases
evolutionary algorithm
information retrieval
learning algorithm
artificial intelligence
decision trees
cost effective
model checking
linear programming
computationally expensive
convex hull
convex optimization