Expiring opacity problems in parametric timed automata.

Étienne André Engel Lefaucheux Dylan Marinho

Published in: CoRR (2024)

Keyphrases

timed automata
decision problems
problems involving
solving problems
data mining
search algorithm
multi objective
np complete
difficult problems