Reachability for partially observable discrete time stochastic hybrid systems (Q466266): Difference between revisions

@@ Property / describes a project that uses @@
+ToolboxLS
@@ Property / describes a project that uses: ToolboxLS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2054675873
@@ Property / OpenAlex ID: W2054675873 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5756
@@ Property / arXiv ID: 1401.5756 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4693132
@@ Property / cites work: Q4693132 / rank @@
+Normal rank
@@ Property / cites work @@
+Monte Carlo Value Iteration for Continuous-State POMDPs
+Normal rank
@@ Property / cites work @@
+Planning in partially-observable switching-mode continuous domains
+Normal rank
@@ Property / cites work @@
+Switching mode generation and optimal estimation with application to skid-steering
+Normal rank
@@ Property / cites work @@
+A stochastic games framework for verification and control of discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+A general recursive discrete-time filter
@@ Property / cites work: A general recursive discrete-time filter / rank @@
+Normal rank
@@ Property / cites work @@
+Risk-sensitive optimal control of hidden Markov models: structural results
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+Risk-sensitive control and dynamic games for partially observed discrete-time nonlinear systems
+Normal rank
@@ Property / cites work @@
+Q4417999
@@ Property / cites work: Q4417999 / rank @@
+Normal rank
@@ Property / cites work @@
+The flexible, extensible and efficient toolbox of level set methods
+Normal rank
@@ Property / cites work @@
+Q3174042
@@ Property / cites work: Q3174042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3434961
@@ Property / cites work: Q3434961 / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
+Normal rank
@@ Property / cites work @@
+Q4679021
@@ Property / cites work: Q4679021 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
+Normal rank
@@ Property / cites work @@
+Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Safety Control of Hidden Mode Hybrid Systems
@@ Property / cites work: Safety Control of Hidden Mode Hybrid Systems / rank @@
+Normal rank