Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate (Q3637254): Difference between revisions

@@ Property / cites work @@
+Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
+Normal rank
@@ Property / cites work @@
+Systematic Simulation Using Sensitivity Analysis
@@ Property / cites work: Systematic Simulation Using Sensitivity Analysis / 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 @@
+Robust Test Generation and Coverage for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4435425
@@ Property / cites work: Q4435425 / rank @@
+Normal rank
@@ Property / cites work @@
+Test Coverage for Continuous and Hybrid Systems
@@ Property / cites work: Test Coverage for Continuous and Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+State event location in differential-algebraic models
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: From Verification to Falsification
+Normal rank
@@ Property / cites work @@
+Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
+Normal rank
@@ Property / cites work @@
+Q4040298
@@ Property / cites work: Q4040298 / rank @@
+Normal rank