Gradient-descent for randomized controllers under partial observability (Q2152644): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3214634944
@@ Property / OpenAlex ID: W3214634944 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04407
@@ Property / arXiv ID: 2111.04407 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive synthesis for probabilistic programs reaches new horizons
+Normal rank
@@ Property / cites work @@
+Probabilistic ω-automata
@@ Property / cites work: Probabilistic ω-automata / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Repair for Probabilistic Systems
@@ Property / cites work: Model Repair for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Perturbation Analysis in Verification of Discrete-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Sequential Convex Programming for the Efficient Verification of Parametric MDPs
+Normal rank
@@ Property / cites work @@
+Synthesis in pMDPs: a tale of 1001 parameters
@@ Property / cites work: Synthesis in pMDPs: a tale of 1001 parameters / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing - ICTAC 2004
@@ Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive control improvisation
@@ Property / cites work: Reactive control improvisation / rank @@
+Normal rank
@@ Property / cites work @@
+Accelerated model checking of parametric Markov chains
+Normal rank
@@ Property / cites work @@
+Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
+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 @@
+Parametric probabilistic transition systems for system design and analysis
+Normal rank
@@ Property / cites work @@
+Computationally Feasible Bounds for Partially Observed Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+On the undecidability of probabilistic planning and related stochastic optimization problems
+Normal rank
@@ Property / cites work @@
+Properties of the sign gradient descent algorithms
+Normal rank
@@ Property / cites work @@
+Verification and control of partially observable probabilistic systems
+Normal rank
@@ Property / cites work @@
+Parameter synthesis for Markov models: faster than ever
+Normal rank
@@ Property / cites work @@
+Bayesian inference by symbolic model checking
@@ Property / cites work: Bayesian inference by symbolic model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715714
@@ Property / cites work: Q5715714 / rank @@
+Normal rank
@@ Property / cites work @@
+Are Parametric Markov Chains Monotonic?
@@ Property / cites work: Are Parametric Markov Chains Monotonic? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5713453
@@ Property / cites work: Q5713453 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear programming. Foundations and extensions
@@ Property / cites work: Linear programming. Foundations and extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
+Normal rank