Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557): Difference between revisions

@@ Property / author @@
-Lawrence Charles Paulson
@@ Property / author: Lawrence Charles Paulson / rank @@
-Normal rank
@@ Property / author @@
+Lawrence Charles Paulson
@@ Property / author: Lawrence Charles Paulson / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57382616
@@ Property / Wikidata QID: Q57382616 / 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 @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MetiTarski
@@ Property / describes a project that uses: MetiTarski / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PHAVer
@@ Property / describes a project that uses: PHAVer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Benchmarks
@@ Property / describes a project that uses: Benchmarks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+d/dt
@@ Property / describes a project that uses: d/dt / 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-00602-9_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2115161547
@@ Property / OpenAlex ID: W2115161547 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending a Resolution Prover for Inequalities on Elementary Functions
+Normal rank
@@ Property / cites work @@
+MetiTarski: An Automatic Prover for the Elementary Functions
+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 @@
+Q4806208
@@ Property / cites work: Q4806208 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational techniques for hybrid system verification
+Normal rank
@@ Property / cites work @@
+Q4211176
@@ Property / cites work: Q4211176 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the Prelle-Singer method and a Maple implementation
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary First Integrals of Differential Equations
+Normal rank
@@ Property / cites work @@
+Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418865
@@ Property / cites work: Q4418865 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3624557