( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifiably Safe Off-Model Reinforcement Learning

, и . (2019)cite arxiv:1902.05632Comment: TACAS 2019.
DOI: 10.1007/978-3-030-17462-0_28

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

Stefan Platzer

 

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

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