The Probabilistic Model Checking Landscape
From MaRDI portal
Publication:4635859
DOI10.1145/2933575.2934574zbMath1401.68201OpenAlexW2527393991MaRDI QIDQ4635859
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
Markov chainsMarkov decision processesapplicationsmodel checkingabstractionprobabilistic logicsparameter synthesisfault trees
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
Accelerating SpMV multiplication in probabilistic model checkers using GPUs, A counter abstraction technique for verifying properties of probabilistic swarm systems, Model Checking for Safe Navigation Among Humans, Parameter synthesis in Markov models: a gentle survey, Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic, End-to-end statistical model checking for parametric ODE models, Mirrors and memory in quantum automata, \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, Counterexample-guided inductive synthesis for probabilistic systems, Quantitative Verification of Stochastic Regular Expressions, Unnamed Item, Deniable Functional Encryption, Finding provably optimal Markov chains, Probabilistic Analysis of Binary Sessions