![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
60th Birthday: Bengt Jonsson 0001 , 2021
- Ernst-Rüdiger Olderog, Bernhard Steffen
, Wang Yi:
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 13030, Springer 2021, ISBN 978-3-030-91383-0 - Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning. 1-7 - Yih-Kuen Tsay
, Moshe Y. Vardi:
From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. 8-40 - Jakaria Abdullah
, Wang Yi:
Cause-Effect Reaction Latency in Real-Time Systems. 41-56 - Giovanni Bacci
, Benoît Delahaye
, Kim G. Larsen
, Anders Mariegaard:
Quantitative Analysis of Interval Markov Chains. 57-77 - Parosh Aziz Abdulla:
Regular Model Checking: Evolution and Perspectives. 78-96 - Anthony W. Lin
, Philipp Rümmer
:
Regular Model Checking Revisited. 97-114 - Manuel Gieseking
, Ernst-Rüdiger Olderog
:
High-Level Representation of Benchmark Families for Petri Games. 115-137 - Tiziana Margaria, Alexander Schieweck
:
Towards Engineering Digital Twins by Active Behaviour Mining. 138-163 - Markus Frohme, Bernhard Steffen:
Never-Stop Context-Free Learning. 164-185 - Simon Dierl
, Falk Howar
:
A Taxonomy and Reductions for Common Register Automata Formalisms. 186-218
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.