Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking

DOI10.3233/FI-2018-1637MaRDI QIDQ4637909zbMATH OpenFDO

Authors Artur Rataj, Bożena Woźna-Szcześniak

Publication date 3 May 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2018-1637

zbMATH Keywords

extrapolationnon-determinismoptimal policyprobabilistic model checkingstatistical model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
• Optimal policy for minimizing risk models in Markov decision processes
• Efficient policies for stationary possibilistic Markov decision processes
• Probability estimation via policy restrictions, convexification, and approximate sampling
• Computing optimal policies for Markovian decision processes using simulation
• Computer Aided Verification
• Computer Aided Verification

This page was built for publication: Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking

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