Risk-aware shielding of partially observable Monte Carlo planning policies
From MaRDI portal
Publication:6088298
DOI10.1016/j.artint.2023.103987OpenAlexW4385652506MaRDI QIDQ6088298
Alessandro Farinelli, Alberto Castellini, Giulio Mazzi
Publication date: 16 November 2023
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2023.103987
Cites Work
- Unnamed Item
- Unnamed Item
- Planning and acting in partially observable stochastic domains
- Enforcing almost-sure reachability in POMDPs
- Shield synthesis
- Verification and control of partially observable probabilistic systems
- Safety verification of deep neural networks
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings
- Satisfiability Modulo Theories
- The Complexity of Markov Decision Processes
- REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
- Planning for Hybrid Systems via Satisfiability Modulo Theories
- Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
- Learning Temporal Causal Sequence Relationships from Real-Time Time-Series
- A Survey on the Explainability of Supervised Machine Learning
- Shield Synthesis:
- A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play
This page was built for publication: Risk-aware shielding of partially observable Monte Carlo planning policies
