Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata.

Étienne André Didier Lime Olivier H. Roux

Published in: CoRR (2023)

Keyphrases

timed automata
model checking
reachability analysis
first order logic
data sets
machine learning
artificial intelligence
search engine
social networks
information systems
case study
image segmentation
software engineering
temporal logic
theorem proving