Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes (Q5026215): Difference between revisions

@@ Property / cites work @@
+An SMT-based approach for verifying binarized neural networks
+Normal rank
@@ Property / cites work @@
+Probabilistic ω-automata
@@ Property / cites work: Probabilistic ω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal cost almost-sure reachability in POMDPs
@@ Property / cites work: Optimal cost almost-sure reachability in POMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Model Checking
@@ Property / cites work: Handbook of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of Information Theory
@@ Property / cites work: Elements of Information Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5270493
@@ Property / cites work: Q5270493 / rank @@
+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 @@
+Enforcing almost-sure reachability in POMDPs
@@ Property / cites work: Enforcing almost-sure reachability in POMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of reachability in parametric Markov decision processes
+Normal rank
@@ Property / cites work @@
+Planning and acting in partially observable stochastic domains
+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 @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of recurrent neural network (RNN) and long short-term memory (LSTM) network
+Normal rank
@@ Property / cites work @@
+Q5715714
@@ Property / cites work: Q5715714 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple statistical gradient-following algorithms for connectionist reinforcement learning
+Normal rank
@@ Property / cites work @@
+Minimal counterexamples for linear-time probabilistic verification
+Normal rank