Counterexample-guided predicate abstraction of hybrid systems (Q2368954): Difference between revisions

@@ Property / describes a project that uses @@
+Qhull
@@ Property / describes a project that uses: Qhull / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bandera
@@ Property / describes a project that uses: Bandera / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bebop
@@ Property / describes a project that uses: Bebop / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cdd
@@ Property / describes a project that uses: cdd / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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.1016/j.tcs.2005.11.026
+Normal rank
@@ Property / OpenAlex ID @@
+W1793594870
@@ Property / OpenAlex ID: W1793594870 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124832924
@@ Property / Wikidata QID: Q124832924 / 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 @@
+Q4736572
@@ Property / cites work: Q4736572 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timing verification by successive approximation
@@ Property / cites work: Timing verification by successive approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953376
@@ Property / cites work: Q4953376 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+The quickhull algorithm for convex hulls
@@ Property / cites work: The quickhull algorithm for convex hulls / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249565
@@ Property / cites work: Q4249565 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417923
@@ Property / cites work: Q4417923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4038707
@@ Property / cites work: Q4038707 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum polygonal separation
@@ Property / cites work: Minimum polygonal separation / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy abstraction
@@ Property / cites work: Lazy abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+On the complexity of polyhedral separability
@@ Property / cites work: On the complexity of polyhedral separability / rank @@
+Normal rank