From

Institution

Field

Type

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

Reset

Papers matching “model checking” 18

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

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

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

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

0

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

0

citations
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

1

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'
2022 Data Archiving and Networked Services (DANS) dataset Computer Science Formal Methods in Verification Open access

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

16

citations
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

1

citations
Experiments for 'Verification of indefinite-horizon POMDPs'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

1

citations
Experiments for 'Verification of indefinite-horizon POMDPs'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations

18 results