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

@@ Property / describes a project that uses @@
+SMV
@@ Property / describes a project that uses: SMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02949-3_12
+Normal rank
@@ Property / OpenAlex ID @@
+W17135747
@@ Property / OpenAlex ID: W17135747 / rank @@
+Normal rank
@@ 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