Learning-based compositional parameter synthesis for event-recording automata

DOI10.1007/978-3-319-60225-7_2MaRDI QIDQ5082188zbMATH OpenOpenAlexFDO

Authors Étienne André, Shangwei Lin

Publication date 15 June 2022

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01658415/file/446833_1_En_2_Chapter.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Parametric verification: an introduction
• Compositional parameter synthesis
• Bounded Model Checking for Parametric Timed Automata
• Synthesis of timing parameters satisfying safety properties
• Learning-based compositional verification for synchronous probabilistic systems

Cited in

(9)

• The language preservation problem is undecidable for parametric event-recording automata
• Language preservation problems in parametric timed automata
• Compositional learning for interleaving parallel automata
• Distributed parametric model checking timed automata under non-zenoness assumption
• Timed automata verification and synthesis via finite automata learning
• Repairing timed automata clock guards through abstraction and testing
• Cycle encoding-based parameter synthesis for timed automata safety
• Timed automata verification and synthesis via finite automata learning
• \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability

This page was built for publication: Learning-based compositional parameter synthesis for event-recording automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5082188)