Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-69738-1_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1576022414
@@ Property / OpenAlex ID: W1576022414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552459
@@ Property / cites work: Q4552459 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness and decidability of o-minimal hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q2845498
@@ Property / cites work: Q2845498 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / 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 @@
+MONA IMPLEMENTATION SECRETS
@@ Property / cites work: MONA IMPLEMENTATION SECRETS / 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 @@
+Q4808717
@@ Property / cites work: Q4808717 / 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 @@
+Constraints for Continuous Reachability in the Verification of Hybrid Systems
+Normal rank