Login / Signup
Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata.
Étienne André
Jaime Arias
Laure Petrucci
Jaco van de Pol
Published in:
TACAS (1) (2021)
Keyphrases
</>
timed automata
object detection
detection method
model checking
computationally expensive
automatic detection
false alarms
anomaly detection
computationally efficient
detection algorithm
search engine
decision trees
face recognition
lightweight
iterative methods