( en | de | ru )

 

Disambiguierung von "Platzer, André"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Axiomatic Approach to Existence and Liveness for Differential Equations.

, und . CoRR, (2020)

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

Matthias Platzer

Matthias Platzer

Bernd Platzer

Stefan Platzer

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems., , und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 428-445. Springer, (2019)Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract).. SC-Square@ISSAC, Volume 3455 von CEUR Workshop Proceedings, Seite 10. CEUR-WS.org, (2023)Verified Quadratic Virtual Substitution for Real Arithmetic., , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 200-217. Springer, (2021)Switched Systems as Hybrid Programs., und . ADHS, Volume 54 von IFAC-PapersOnLine, Seite 247-252. Elsevier, (2021)Refinements of Hybrid Dynamical Systems Logic.. ABZ, Volume 14010 von Lecture Notes in Computer Science, Seite 3-14. Springer, (2023)Refining Constructive Hybrid Games., und . FSCD, Volume 167 von LIPIcs, Seite 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)CESAR: Control Envelope Synthesis via Angelic Refinements., , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 144-164. Springer, (2024)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)Uniform Substitution at One Fell Swoop.. CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 425-441. Springer, (2019)