GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Verification of cooperating traffic agents
@@ Property / cites work: Verification of cooperating traffic agents / 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 @@
+Reliable minimax parameter estimation
@@ Property / cites work: Reliable minimax parameter estimation / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified constraints under perturbation
@@ Property / cites work: Quantified constraints under perturbation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4948548
@@ Property / cites work: Q4948548 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+On optimal control of non-autonomous switched systems with a fixed mode sequence
+Normal rank