( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems.

. HyLo@FLoC, том 174 из Electronic Notes in Theoretical Computer Science, стр. 63-77. Elsevier, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

André Platzer

Bernd Platzer

Matthias Platzer

Matthias Platzer

Stefan Platzer

 

Другие публикации лиц с тем же именем

A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)., , , и . CyPhy/WESE, том 11615 из Lecture Notes in Computer Science, стр. 91-110. Springer, (2018)Towards Physical Hybrid Systems., и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 216-232. Springer, (2019)Deductive Stability Proofs for Ordinary Differential Equations., и . CoRR, (2020)Uniform Substitution at One Fell Swoop.. CADE, том 11716 из Lecture Notes in Computer Science, стр. 425-441. Springer, (2019)Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems., и . CoRR, (2023)Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications., , и . ICFEM, том 6991 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2011)A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL., , и . CoRR, (2022)A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers., и . 20 Years of KeY, том 12345 из Lecture Notes in Computer Science, Springer, (2020)Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems.. HyLo@FLoC, том 174 из Electronic Notes in Theoretical Computer Science, стр. 63-77. Elsevier, (2006)A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm., , и . ITP, том 193 из LIPIcs, стр. 14:1-14:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)