Model Checking, Synthesis, and Learning

Keyphrases

Publications

2021

Anthony W. Lin, Philipp Rümmer
Regular Model Checking Revisited. Model Checking, Synthesis, and Learning (2021)
Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard
Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning (2021)
Markus Frohme, Bernhard Steffen
Never-Stop Context-Free Learning. Model Checking, Synthesis, and Learning (2021)
Manuel Gieseking, Ernst-Rüdiger Olderog
High-Level Representation of Benchmark Families for Petri Games. Model Checking, Synthesis, and Learning (2021)
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning (2021)
Simon Dierl, Falk Howar
A Taxonomy and Reductions for Common Register Automata Formalisms. Model Checking, Synthesis, and Learning (2021)
Jakaria Abdullah, Wang Yi
Cause-Effect Reaction Latency in Real-Time Systems. Model Checking, Synthesis, and Learning (2021)
Tiziana Margaria, Alexander Schieweck
Towards Engineering Digital Twins by Active Behaviour Mining. Model Checking, Synthesis, and Learning (2021)
Yih-Kuen Tsay, Moshe Y. Vardi
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Model Checking, Synthesis, and Learning (2021)
Parosh Aziz Abdulla
Regular Model Checking: Evolution and Perspectives. Model Checking, Synthesis, and Learning (2021)

volume 13030, 2021

Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Model Checking, Synthesis, and Learning 13030 (2021)