default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEssays Dedicated Joost-Pieter Katoen 2024 - Part II
- Nils Jansen
, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Lecture Notes in Computer Science 15261, Springer 2024, ISBN 978-3-031-75774-7
Model Checking Applications
- Jan Friso Groote, Tim A. C. Willemse:
On Woolhouse's Cotton-Spinning Problem. 3-17 - Léonard Brice, F. Thomas Bruss, Anirban Majumdar, Jean-François Raskin:
Algorithms for Robbins' Problem Using Markov Decision Processes. 18-45 - Hubert Garavel, Holger Hermanns, David Parker:
Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe. 46-74 - Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova:
A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case. 75-97 - Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk:
Riding the Storm in a Probabilistic Model Checking Landscape. 98-114 - Carlos E. Budde, Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Zhen Zhang:
Modest Models and Tools for Real Stochastic Timed Systems. 115-142
Model Checking Techniques
- Kasper Engelen, Guillermo A. Pérez, Shrisha Rao:
Analyzing Value Functions of States in Parametric Markov Chains. 145-165 - Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Expectation vs. Reality: Towards Verification of Psychological Games. 166-191 - Susmoy Das, Arpit Sharma:
Process Mining Meets Probabilistic Model Checking via Model and Logical Embeddings. 192-218 - Sotirios Gyftopoulos, Stylianos Basagiannis, Panagiotis Katsaros:
Robustness Analysis of Probabilistic Models with Adversaries or Strategic Entities. 219-233 - Zhiming Chi, Ying Liu, Andrea Turrini, Lijun Zhang, David N. Jansen:
A Scenario Approach for Parametric Markov Decision Processes. 234-266 - Oliver S. Bak, Mathias W. B. Christiansen, Oliver V. Eriksen, Sergio Feo-Arenis, Peter Gjøl Jensen, Marcus D. Jensen, Simas Juozapaitis, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Andreas Windfeld:
GPU Accelerating Statistical Model Checking for Extended Timed Automata. 267-292 - Rajab Aghamov, Christel Baier, Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala:
Model Checking Markov Chains as Distribution Transformers. 293-313 - Jan Heemstra, Muhammad Osama, Anton Wijs:
Towards End-to-End GPU Acceleration of PCTL Model Checking. 314-337 - Robin Mroß, Marcus Völker, Stefan Kowalewski, Aron Schnakenbeck, Alexander Fay:
Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size. 338-359 - Alessandro Abate, Mirco Giacobbe, Diptarko Roy, Yannik Schnitzer:
Model Checking and Strategy Synthesis with Abstractions and Certificates. 360-391
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.
last updated on 2025-11-17 22:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
