Risk-aware shielding of partially observable Monte Carlo planning policies (Q6088298): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2023.103987
@@ Property / DOI: 10.1016/j.artint.2023.103987 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2023.103987
+Normal rank
@@ Property / OpenAlex ID @@
+W4385652506
@@ Property / OpenAlex ID: W4385652506 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Markov Decision Processes
@@ Property / cites work: The Complexity of Markov Decision Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5089265
@@ Property / cites work: Q5089265 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo Theories
@@ Property / cites work: Satisfiability Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Planning and acting in partially observable stochastic domains
+Normal rank
@@ Property / cites work @@
+A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play
+Normal rank
@@ Property / cites work @@
+Safety verification of deep neural networks
@@ Property / cites work: Safety verification of deep neural networks / rank @@
+Normal rank
@@ Property / cites work @@
+Reluplex: an efficient SMT solver for verifying deep neural networks
+Normal rank
@@ Property / cites work @@
+Verification and control of partially observable probabilistic systems
+Normal rank
@@ Property / cites work @@
+Planning for Hybrid Systems via Satisfiability Modulo Theories
+Normal rank
@@ Property / cites work @@
+Enforcing almost-sure reachability in POMDPs
@@ Property / cites work: Enforcing almost-sure reachability in POMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison
+Normal rank
@@ Property / cites work @@
+Shield Synthesis:
@@ Property / cites work: Shield Synthesis: / rank @@
+Normal rank
@@ Property / cites work @@
+Shield synthesis
@@ Property / cites work: Shield synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey on the Explainability of Supervised Machine Learning
+Normal rank
@@ Property / cites work @@
+Learning Temporal Causal Sequence Relationships from Real-Time Time-Series
+Normal rank
@@ Property / cites work @@
+REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Q5396710
@@ Property / cites work: Q5396710 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2023.103987
@@ Property / DOI: 10.1016/J.ARTINT.2023.103987 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6088298