\textsf{PrIC3}: property directed reachability for MDPs

DOI10.1007/978-3-030-53291-8_27zbMath1478.68143arXiv2004.14835OpenAlexW3046454509MaRDI QIDQ2226756

Philipp Schröer, Kevin Batz, Christoph Matheja, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/2004.14835

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Latticed \(k\)-induction with an application to probabilistic programs ⋮ Out of control: reducing probabilistic models by control-state elimination ⋮ Symbolic verification and strategy synthesis for turn-based stochastic games ⋮ Abstraction-based incremental inductive coverability for Petri nets

Uses Software

• iscasMc

This page was built for publication: \textsf{PrIC3}: property directed reachability for MDPs