Expiring opacity problems in parametric timed automata.

Étienne André Engel Lefaucheux Dylan Marinho

Published in: ICECCS (2023)

Keyphrases

timed automata
problems involving
database
genetic algorithm
theorem prover
np complete
multiscale
optimization problems
simulated annealing
reachability analysis
benchmark problems
decision problems
face recognition
information systems
computer vision
data mining
real time