Efficient Convex Zone Merging in Parametric Timed Automata.

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

Published in: FORMATS (2022)

Keyphrases

timed automata
cost effective
model checking
database
computationally expensive
neural network
genetic algorithm
social networks
denoising
computationally efficient
convex optimization