Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672): Difference between revisions

@@ Property / OpenAlex ID @@
+W4308984347
@@ Property / OpenAlex ID: W4308984347 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.11803
@@ Property / arXiv ID: 2104.11803 / 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 @@
+Observer-based control of systems with slope-restricted nonlinearities
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional strategy synthesis for stochastic games with multiple objectives
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential Stackelberg equilibria in two-person games
+Normal rank
@@ Property / cites work @@
+Stochastic tube MPC with state estimation
@@ Property / cites work: Stochastic tube MPC with state estimation / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
+Normal rank
@@ Property / cites work @@
+Qualitative analysis of concurrent mean-payoff games
+Normal rank
@@ Property / cites work @@
+Stochastic games with lexicographic reachability-safety objectives
+Normal rank
@@ Property / cites work @@
+A stochastic games framework for verification and control of discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Observer design for systems with multivariable monotone nonlinearities
+Normal rank
@@ Property / cites work @@
+Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games
+Normal rank
@@ Property / cites work @@
+Hierarchical control system design using approximate simulation
+Normal rank
@@ Property / cites work @@
+Minimax Control of Discrete-Time Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
+Normal rank
@@ Property / cites work @@
+Control design for specifications on stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Control synthesis for stochastic systems given automata specifications defined by stochastic sets
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk)
+Normal rank
@@ Property / cites work @@
+\textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
+Normal rank
@@ Property / cites work @@
+Automated verification and synthesis of stochastic hybrid systems: a survey
+Normal rank
@@ Property / cites work @@
+Compositional construction of infinite abstractions for networks of stochastic control systems
+Normal rank
@@ Property / cites work @@
+Compositional abstraction-based synthesis for networks of stochastic switched systems
+Normal rank
@@ Property / cites work @@
+Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
+Normal rank
@@ Property / cites work @@
+Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
+Normal rank
@@ Property / cites work @@
+Infinite horizon linear-quadratic Stackelberg games for discrete-time stochastic systems
+Normal rank
@@ Property / cites work @@
+Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Q3976310
@@ Property / cites work: Q3976310 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3529234
@@ Property / cites work: Q3529234 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic optimal control. The discrete time case
+Normal rank
@@ Property / cites work @@
+Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes
+Normal rank
@@ Property / cites work @@
+Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
+Normal rank
@@ Property / cites work @@
+Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+SDPT3 — A Matlab software package for semidefinite programming, Version 1.3
+Normal rank
@@ Property / cites work @@
+Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
+Normal rank
@@ Property / cites work @@
+Game-Theoretic Methods for Robustness, Security, and Resilience of Cyberphysical Control Systems: Games-in-Games Principle for Optimal Cross-Layer Resilient Control Systems
+Normal rank