Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2016.10.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2560497328
@@ Property / OpenAlex ID: W2560497328 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative automata model checking of autonomous stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+A stochastic games framework for verification and control of discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
+Normal rank
@@ Property / cites work @@
+Control design for specifications on stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Formal Verification and Synthesis for Discrete-Time Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Iterative temporal motion planning for hybrid systems in partially unknown environments
+Normal rank
@@ Property / cites work @@
+On the connections between PCTL and dynamic programming
+Normal rank
@@ Property / cites work @@
+A stochastic reach-avoid problem with random obstacles
+Normal rank
@@ Property / cites work @@
+Stochastic system controller synthesis for reachability specifications encoded by random sets
+Normal rank
@@ Property / cites work @@
+Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Receding horizon control for temporal logic specifications
+Normal rank