The probabilistic model checking landscape

DOI10.1145/2933575.2934574MaRDI QIDQ4635859zbMATH OpenOpenAlexFDO

Authors Joost-Pieter Katoen

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2934574

zbMATH Keywords

applicationsMarkov chainsmodel checkingabstractionMarkov decision processesprobabilistic logicsparameter synthesisfault trees

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Abstraction of Probabilistic Systems
• Model checking probabilistic systems
• Stochastic model checking
• scientific article; zbMATH DE number 1786476
• Preface to the special issue on probabilistic model checking

Cited in

(40)

• Formal Verification Based on Guided Random Walks
• Counterexample-guided inductive synthesis for probabilistic systems
• Probabilistic Analysis of Binary Sessions
• Trade-off analysis meets probabilistic model checking
• Constraint-based debugging in probabilistic model checking
• Parameter synthesis for Markov models: covering the parameter space
• Accelerating SpMV multiplication in probabilistic model checkers using GPUs
• Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
• CTL model checking of MDPs over distribution spaces: algorithms and sampling-based computations
• A counter abstraction technique for verifying properties of probabilistic swarm systems
• Finding provably optimal Markov chains
• Probabilistic Metric Temporal Graph Logic
• Counterexamples in Probabilistic Model Checking
• End-to-end statistical model checking for parametric ODE models
• Mirrors and memory in quantum automata
• scientific article; zbMATH DE number 1786476 (Why is no real title available?)
• Model Checking for Safe Navigation Among Humans
• Bounded model checking for probabilistic programs
• Preface to the special issue on probabilistic model checking
• The 10,000 facets of MDP model checking
• An inductive technique for parameterised model checking of degenerative distributed randomised protocols
• Quantitative Verification of Stochastic Regular Expressions
• \textsf{PFL}: a probabilistic logic for fault trees
• Sampling-Based Verification of CTMCs with Uncertain Rates
• Are parametric Markov chains monotonic?
• Sequential convex programming for the efficient verification of parametric MDPs
• Deniable Functional Encryption
• Distribution, approximation and probabilistic model checking
• Automatically finding the right probabilities in Bayesian networks
• A spectrum of approximate probabilistic bisimulations
• End-to-end statistical model checking for parameterization and stability analysis of ODE models
• Model Checking Probabilistic Pushdown Automata
• Computing expected visiting times and stationary distributions in Markov chains: fast and accurate
• Parameter synthesis in Markov models: a gentle survey
• A probabilistic logic for verifying continuous-time Markov chains
• Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers
• Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
• scientific article; zbMATH DE number 7559459 (Why is no real title available?)
• High-level modelling and efficient analysis of randomized protocols.
• Probabilistic black-box reachability checking (extended version)

This page was built for publication: The probabilistic model checking landscape

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635859)