From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems.

J. Martins, A. Platzer, и J. Leite. TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 428-445. Springer, (2019)

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

Theo Platzer

Michael Platzer

Christine Platzer

Erich Platzer

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

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems.J. Martins, A. Platzer, и J. Leite. TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 428-445. Springer, (2019)Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract).A. Platzer. SC-Square@ISSAC, том 3455 из CEUR Workshop Proceedings, стр. 10. CEUR-WS.org, (2023)Verified Quadratic Virtual Substitution for Real Arithmetic.M. Scharager, K. Cordwell, S. Mitsch, и A. Platzer. FM, том 13047 из Lecture Notes in Computer Science, стр. 200-217. Springer, (2021)Switched Systems as Hybrid Programs.Y. Tan, и A. Platzer. ADHS, том 54 из IFAC-PapersOnLine, стр. 247-252. Elsevier, (2021)Refinements of Hybrid Dynamical Systems Logic.A. Platzer. ABZ, том 14010 из Lecture Notes in Computer Science, стр. 3-14. Springer, (2023)Refining Constructive Hybrid Games.R. Bohrer, и A. Platzer. FSCD, том 167 из LIPIcs, стр. 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)CESAR: Control Envelope Synthesis via Angelic Refinements.A. Kabra, J. Laurent, S. Mitsch, и A. Platzer. TACAS (1), том 14570 из Lecture Notes in Computer Science, стр. 144-164. Springer, (2024)Towards Physical Hybrid Systems.K. Cordwell, и A. Platzer. CADE, том 11716 из Lecture Notes in Computer Science, стр. 216-232. Springer, (2019)Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications.J. Martins, A. Platzer, и J. Leite. ICFEM, том 6991 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2011)Uniform Substitution at One Fell Swoop.A. Platzer. CADE, том 11716 из Lecture Notes in Computer Science, стр. 425-441. Springer, (2019)

BibSonomy

Disambiguation