[HTML][HTML] Value iteration for simple stochastic games: Stopping criterion and learning algorithm
J Eisentraut, E Kelmendi, J Křetínský… - Information and …, 2022 - Elsevier
The classical problem of reachability in simple stochastic games is typically solved by value
iteration (VI), which produces a sequence of under-approxima-tions of the value of the …
iteration (VI), which produces a sequence of under-approxima-tions of the value of the …
The modest state of learning, sampling, and verifying strategies
A Hartmanns, M Klauck - … on Leveraging Applications of Formal Methods, 2022 - Springer
Optimal decision-making under stochastic uncertainty is a core problem tackled in artificial
intelligence/machine learning (AI), planning, and verification. Planning and AI methods aim …
intelligence/machine learning (AI), planning, and verification. Planning and AI methods aim …
Learning Algorithms for Verification of Markov Decision Processes
We present a general framework for applying learning algorithms and heuristical guidance
to the verification of Markov decision processes (MDPs), based on the ideas of Br\'azdil, T. et …
to the verification of Markov decision processes (MDPs), based on the ideas of Br\'azdil, T. et …
30 years of statistical model checking
30 Years of Statistical Model Checking | SpringerLink Skip to main content Advertisement
SpringerLink Account Menu Find a journal Publish with us Track your research Search Cart …
SpringerLink Account Menu Find a journal Publish with us Track your research Search Cart …
DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications
We present a tool for inferring the parameters of a Discrete-time Markov chain (DTMC) with
respect to properties written in probabilistic temporal logic (PCTL) informed by data …
respect to properties written in probabilistic temporal logic (PCTL) informed by data …
Effective Analysis of Industry-Relevant Cyber-Physical Systems via Statistical Model Checking
A Pappagallo - International Conference of the Italian Association for …, 2021 - Springer
Abstract Many autonomous Cyber-Physical Systems (eg, devices for Internet of Things,
Unmanned Autonomous Vehicles, medical devices, etc.) are mission-critical (ie, errors result …
Unmanned Autonomous Vehicles, medical devices, etc.) are mission-critical (ie, errors result …
On the Performance of Algorithms for Quantitative Verification
IJ Hop - 2022 - essay.utwente.nl
Quantitative verification is used to verify quantitative properties of a system. The expected
response time and the probability of failure are examples of properties that we can verify …
response time and the probability of failure are examples of properties that we can verify …
[PDF][PDF] Statistical model checking as an effective technology to formally analyze industry-relevant cyber-physical systems
A Pappagallo - Proceedings http://ceur-ws. org ISSN, 2021 - academia.edu
Abstract Many autonomous Cyber-Physical Systems (eg, devices for Internet of Things,
Unmanned Autonomous Vehicles, medical devices, etc) are mission-critical (ie, errors result …
Unmanned Autonomous Vehicles, medical devices, etc) are mission-critical (ie, errors result …
[PDF][PDF] PAC guarantees for unknown probabilities through sampling
M Weininger - LiVe 2022 6th Workshop on Learning in Verification - in.tum.de
Model checking of probabilistic systems is a well-known important topic, see eg [BK08,
Chapter 10]. However, in real-world applications it often is difficult to know the exact …
Chapter 10]. However, in real-world applications it often is difficult to know the exact …