Learning-Based Compositional Parameter Synthesis for Event-Recording Automata
From MaRDI portal
Publication:5082188
DOI10.1007/978-3-319-60225-7_2zbMath1489.68136OpenAlexW2617458767MaRDI QIDQ5082188
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
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)
Related Items (4)
\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability ⋮ Unnamed Item ⋮ Distributed parametric model checking timed automata under non-zenoness assumption ⋮ The language preservation problem is undecidable for parametric event-recording automata
This page was built for publication: Learning-Based Compositional Parameter Synthesis for Event-Recording Automata
