Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881): Difference between revisions

@@ Property / arXiv ID @@
+.09236
@@ Property / arXiv ID: 2001.09236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Temporal Logic Control of Discrete-Time Piecewise Affine Systems
+Normal rank
@@ Property / cites work @@
+Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
+Normal rank
@@ Property / cites work @@
+SCOTS
@@ Property / cites work: SCOTS / rank @@
+Normal rank
@@ Property / cites work @@
+Finite abstractions with robustness margins for temporal logic-based control synthesis
+Normal rank
@@ Property / cites work @@
+Formal Synthesis of Control Strategies for Positive Monotone Systems
+Normal rank
@@ Property / cites work @@
+Formal methods for discrete-time dynamical systems
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / 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 @@
+Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Approximate Abstractions of Stochastic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Formal Verification and Synthesis for Discrete-Time Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Bounded-parameter Markov decision processes
@@ Property / cites work: Bounded-parameter Markov decision processes / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency through uncertainty
@@ Property / cites work: Efficiency through uncertainty / rank @@
+Normal rank
@@ Property / cites work @@
+StocHy - automated verification and synthesis of stochastic processes
+Normal rank
@@ Property / cites work @@
+Linear temporal logic symbolic model checking
@@ Property / cites work: Linear temporal logic symbolic model checking / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Interval iteration algorithm for MDPs and IMDPs
@@ Property / cites work: Interval iteration algorithm for MDPs and IMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient finite abstraction of mixed monotone systems
+Normal rank
@@ Property / cites work @@
+Q5718755
@@ Property / cites work: Q5718755 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
+Normal rank