A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2013.05.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2154136656
@@ Property / OpenAlex ID: W2154136656 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate model checking of stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach
+Normal rank
@@ Property / cites work @@
+Safe and Secure Networked Control Systems under Denial-of-Service Attacks
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid control
@@ Property / cites work: Stochastic hybrid control / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic optimal control. The discrete time case
+Normal rank
@@ Property / cites work @@
+Q4257216
@@ Property / cites work: Q4257216 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential Stackelberg equilibria in two-person games
+Normal rank
@@ Property / cites work @@
+Measurable selections of extrema
@@ Property / cites work: Measurable selections of extrema / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
+Normal rank
@@ Property / cites work @@
+Q4255465
@@ Property / cites work: Q4255465 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Minimax Control of Discrete-Time Stochastic Systems
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Existence of Value and Randomized Strategies in Zero-Sum Discrete-Time Stochastic Dynamic Games
+Normal rank
@@ Property / cites work @@
+Q4004190
@@ Property / cites work: Q4004190 / rank @@
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+On stochastic games
@@ Property / cites work: On stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely additive stochastic games with Borel measurable payoffs
+Normal rank
@@ Property / cites work @@
+Universally measurable strategies in zero-sum stochastic games
+Normal rank
@@ Property / cites work @@
+Conflict Probability Estimation for Free Flight
@@ Property / cites work: Conflict Probability Estimation for Free Flight / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Q3976310
@@ Property / cites work: Q3976310 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526189
@@ Property / cites work: Q5526189 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+A stochastic reach-avoid problem with random obstacles
+Normal rank
@@ Property / cites work @@
+Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
+Normal rank
@@ Property / cites work @@
+Conflict resolution for air traffic management: a study in multiagent hybrid systems
+Normal rank
@@ Property / cites work @@
+Prototype Conflict Alerting System for Free Flight
+Normal rank