相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Verification and control of partially observable probabilistic systems
Gethin Norman et al.
REAL-TIME SYSTEMS (2017)
A STORM is Coming: A Modern Probabilistic Model Checker
Christian Dehnert et al.
COMPUTER AIDED VERIFICATION (CAV 2017), PT II (2017)
Optimal cost almost-sure reachability in POMDPs
Krishnendu Chatterjee et al.
ARTIFICIAL INTELLIGENCE (2016)
Quantitative verification and strategy synthesis for stochastic games
Maria Svorenova et al.
EUROPEAN JOURNAL OF CONTROL (2016)
What is decidable about partially observable Markov decision processes with ω-regular objectives
Krishnendu Chatterjee et al.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2016)
Extending the Applicability of POMDP Solutions to Robotic Tasks
Devin K. Grady et al.
IEEE TRANSACTIONS ON ROBOTICS (2015)
Scaling up Gaussian Belief Space Planning Through Covariance-Free Trajectory Optimization and Automatic Differentiation
Sachin Patil et al.
ALGORITHMIC FOUNDATIONS OF ROBOTICS XI (2015)
A survey of point-based POMDP solvers
Guy Shani et al.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2013)
Optimizing fixed-size stochastic controllers for POMDPs and decentralized POMDPs
Christopher Amato et al.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2010)
A game-based abstraction-refinement framework for Markov decision processes
Mark Kattenbelt et al.
FORMAL METHODS IN SYSTEM DESIGN (2010)
Sampling-based motion planning with sensing uncertainty
Brendan Burns et al.
PROCEEDINGS OF THE 2007 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-10 (2007)
On the undecidability of probabilistic planning and related stochastic optimization problems
O Madani et al.
ARTIFICIAL INTELLIGENCE (2003)