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

@@ Property / describes a project that uses @@
+Reluplex
@@ Property / describes a project that uses: Reluplex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+POMDP
@@ Property / describes a project that uses: POMDP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Adam
@@ Property / describes a project that uses: Adam / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Storm
@@ Property / describes a project that uses: Storm / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1613/jair.1.12963
+Normal rank
@@ Property / OpenAlex ID @@
+W3215640983
@@ Property / OpenAlex ID: W3215640983 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113424377
@@ Property / Wikidata QID: Q113424377 / rank @@
+Normal rank
@@ 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