From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “model checking” 43

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

A Practitioner's Guide to MDP Model Checking Algorithms
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

2

citations
Integrating Loop Acceleration into Bounded Model Checking
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

3

citations
Probabilistic Model Checking Taken by Storm
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Probabilistic Model Checking Taken by Storm
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version)
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Arnd Hartmanns, Joshua Jeppson, Sebastian Junges, Tobias Meggendorfer, David Parker, +2 more

0

citations
Infinite State Model Checking by Learning Transitive Relations
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

1

citations
Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
2025 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Jan Heemstra, Jan Martens, Anton Wijs

0

citations
Layered automata: A canonical model for automata over infinite words
2026 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
Layered automata: A canonical model for automata over infinite words
2026 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Antonio Casares, Christof Löding, Igor Walukiewicz

0

citations
The Influence of Inhomogeneous Input Data from Different Waves on Predictive Model Development for COVID-19 ICU Patients (Preprint)
2021 preprint Computer Science Machine Learning in Healthcare Open access

Sebastian Johannes Fritsch, Konstantin Sharafutdinov, Moein E. Samadi, Gernot Marx, Andreas Schuppert, Johannes Bickenbach

0

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

1

citations
Out of Control: Reducing Probabilistic Models by Control-State Elimination
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Johannes C. Lehmann, Joost-Pieter Katoen

0

citations
Parameter Synthesis in Markov Models: A Gentle Survey
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

0

citations
Verifying LTL for Infinite State Systems via Termination Analysis
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Nils Lommen, Moritz Leven Rosarius, Jürgen Giesl

0

citations
Caesar: A Deductive Verifier for Probabilistic Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Umut Yiğit Dural, Darion Haase, Benjamin Lucien Kaminski, Joost-Pieter Katoen, +1 more

0

citations
Natural Strategic Ability in Stochastic Multi-Agent Systems
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

0

citations
A Hyperlogic for Strategies in Stochastic Games (Extended Version)
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

0

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Val Tannen

1

citations
On the Parameterized Complexity of Learning First-Order Logic
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Steffen van Bergerem, Martin Grohe, Martin Ritzert

0

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations
Quantum Graph-State Synthesis with SAT
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Sebastiaan Brand, Tim Coopmans, Alfons Laarman

0

citations
Tractable Hyperproperties for MDPs
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, Sebastian Junges

0

citations
Introducing Asynchronicity to Probabilistic Hyperproperties
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour

0

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

2

citations