Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2213331729
@@ Property / OpenAlex ID: W2213331729 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965815
@@ Property / cites work: Q4965815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673428
@@ Property / cites work: Q4673428 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Q4417983
@@ Property / cites work: Q4417983 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of stochastic \(\omega \)-regular games
@@ Property / cites work: A survey of stochastic \(\omega \)-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Expected Reachability-Time Games
@@ Property / cites work: Expected Reachability-Time Games / rank @@
+Normal rank
@@ Property / cites work @@
+Measurability and safety verification for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of nonlinear hybrid systems
@@ Property / cites work: Algorithmic analysis of nonlinear hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536598
@@ Property / cites work: Q4536598 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+O-minimal hybrid systems.
@@ Property / cites work: O-minimal hybrid systems. / rank @@
+Normal rank
@@ Property / cites work @@
+State explosion in almost-sure probabilistic reachability
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Q2766628
@@ Property / cites work: Q2766628 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+STORMED Hybrid Systems
@@ Property / cites work: STORMED Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Safety verification for probabilistic hybrid systems
+Normal rank