( en | de | ru )

 

Disambiguierung von "Platzer, André"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems.

. HyLo@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 63-77. Elsevier, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

André Platzer

Bernd Platzer

Stefan Platzer

Matthias Platzer

Matthias Platzer

 

Weitere Publikationen von Autoren mit dem selben Namen

Uniform Substitution at One Fell Swoop.. CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 425-441. Springer, (2019)A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)., , , und . CyPhy/WESE, Volume 11615 von Lecture Notes in Computer Science, Seite 91-110. Springer, (2018)Towards Physical Hybrid Systems., und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 216-232. Springer, (2019)Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications., , und . ICFEM, Volume 6991 von Lecture Notes in Computer Science, Seite 131-146. Springer, (2011)Deductive Stability Proofs for Ordinary Differential Equations., und . CoRR, (2020)Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems., und . CoRR, (2023)A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL., , und . CoRR, (2022)Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems.. HyLo@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 63-77. Elsevier, (2006)VeriPhy: verified controller executables from verified cyber-physical system models., , , , und . PLDI, Seite 617-630. ACM, (2018)A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers., und . 20 Years of KeY, Volume 12345 von Lecture Notes in Computer Science, Springer, (2020)