Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning

DOI10.1007/978-3-540-71209-1_33zbMath1186.68106OpenAlexW2166917330MaRDI QIDQ5758124

Carsten Kern, Martin Leucker, Benedikt Bollig, Joost-Pieter Katoen

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_33

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Minimization of the number of clocks for timed scenarios, Learning Meets Verification