Dynamic Logic with Non-rigid Functions. - Bernhard Beckert; André Platzer (IJCAR, 2006)

SAT-based Abstraction Refinement for Real-time Systems. - Stephanie Kemper; André Platzer (FACS, 2006)

Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. - André Platzer (HyLo@FLoC, 2006)

Automating Verification of Cooperation, Control, and Design in Traffic Applications. - Werner Damm; Alfred Mikschl; Jens Oehlerking; Ernst-Rüdiger Olderog; Jun Pang 001; André Platzer; Marc Segelken; Boris Wirtz (Formal Methods and Hybrid Real-Time Systems, 2007)

Combining Deduction and Algebraic Constraints for Hybrid System Analysis. - André Platzer (VERIFY, 2007)

Differential Logic for Reasoning About Hybrid Systems. - André Platzer (HSCC, 2007)

The Image Computation Problem in Hybrid Systems Model Checking. - André Platzer; Edmund M. Clarke (HSCC, 2007)

A Temporal Dynamic Logic for Verifying Hybrid System Invariants. - André Platzer (LFCS, 2007)

Differential Dynamic Logic for Verifying Parametric Hybrid Systems. - André Platzer (TABLEAUX, 2007)

KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description). - André Platzer; Jan-David Quesel (IJCAR, 2008)

Differentielle dynamische Logiken: Automatisches Beweisen für hybride Systeme [Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems]. - André Platzer (Ausgezeichnete Informatikdissertationen, 2008)

Logical Verification and Systematic Parametric Analysis in Train Control. - André Platzer; Jan-David Quesel (HSCC, 2008)

Differential Dynamic Logic for Hybrid Systems. - André Platzer (J. Autom. Reason., 2008)

Differential dynamic logics - automated theorem proving for hybrid systems. - André Platzer (2008)

Real World Verification. - André Platzer; Jan-David Quesel; Philipp Rümmer (CADE, 2009)

A Bayesian Approach to Model Checking Biological Systems. - Sumit Kumar Jha 001; Edmund M. Clarke; Christopher James Langmead; Axel Legay; André Platzer; Paolo Zuliani (CMSB, 2009)

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study. - André Platzer; Edmund M. Clarke (FM, 2009)

European Train Control System: A Case Study in Formal Verification. - André Platzer; Jan-David Quesel (ICFEM, 2009)

Verification of Cyberphysical Transportation Systems. - André Platzer (IEEE Intell. Syst., 2009)

Computing differential invariants of hybrid systems as fixedpoints. - André Platzer; Edmund M. Clarke (Formal Methods Syst. Des., 2009)

Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics. - André Platzer (Springer, 2010)

Real Analysis for Complex Systems. - André Platzer (VERIFY@IJCAR, 2010)

Quantified Differential Dynamic Logic for Distributed Hybrid Systems. - André Platzer (CSL, 2010)

Bayesian statistical model checking with application to Simulink/Stateflow verification. - Paolo Zuliani; André Platzer; Edmund M. Clarke (HSCC, 2010)

Differential Dynamic Logics. - André Platzer (Künstliche Intell., 2010)

Differential-algebraic Dynamic Logic for Differential-algebraic Programs. - André Platzer (J. Log. Comput., 2010)

Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs. - André Platzer (CADE, 2011)

Quantifier Elimination over Finite Fields Using Gröbner Bases. - Sicun Gao; André Platzer; Edmund M. Clarke (CAI, 2011)

Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial). - André Platzer (CAV, 2011)

Using parameters in architectural views to support heterogeneous design and verification. - Akshay Rajhans; Ajinkya Bhave; Sarah M. Loos; Bruce H. Krogh; André Platzer; David Garlan (CDC/ECC, 2011)

Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. - Sarah M. Loos; André Platzer; Ligia Nistor (FM, 2011)

Quantified differential invariants. - André Platzer (HSCC, 2011)

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. - João G. Martins; André Platzer; João Leite 001 (ICFEM, 2011)

Distributed Theorem Proving for Distributed Hybrid Systems. - David W. Renshaw; Sarah M. Loos; André Platzer (ICFEM, 2011)

Safe intersections: At the crossing of hybrid systems and verification. - Sarah M. Loos; André Platzer (ITSC, 2011)

The Structure of Differential Invariants and Differential Cut Elimination - André Platzer (Log. Methods Comput. Sci., 2011)

An Instantiation-Based Theorem Prover for First-Order Programming. - Erik Zawadzki; Geoffrey J. Gordon; André Platzer (AISTATS, 2011)

Using theorem provers to guarantee closed-loop system properties. - Nikos Aréchiga; Sarah M. Loos; André Platzer; Bruce H. Krogh (ACC, 2012)

Playing Hybrid Games with KeYmaera. - Jan-David Quesel; André Platzer (IJCAR, 2012)

Logical Analysis of Hybrid Systems - A Complete Answer to a Complexity Challenge. - André Platzer (DCFS, 2012)

Towards Formal Verification of Freeway Traffic Control. - Stefan Mitsch; Sarah M. Loos; André Platzer (ICCPS, 2012)

A Differential Operator Approach to Equational Differential Invariants - (Invited Paper). - André Platzer (ITP, 2012)

Logics of Dynamical Systems. - André Platzer (LICS, 2012)

The Complete Proof Theory of Hybrid Systems. - André Platzer (LICS, 2012)

Statistical Model Checking for Markov Decision Processes. - David Henriques; João G. Martins; Paolo Zuliani; André Platzer; Edmund M. Clarke (QEST, 2012)

Dynamic Logics of Dynamical Systems - André Platzer (CoRR, 2012)

A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems - André Platzer (Log. Methods Comput. Sci., 2012)

Logical Analysis of Hybrid Systems: A Answer to a Complexity Challenge. - André Platzer (J. Autom. Lang. Comb., 2012)

Certifying the safe design of a virtual fixture control algorithm for a surgical robot. - Yanni Kouskoulas; David W. Renshaw; André Platzer; Peter Kazanzides (HSCC, 2013)

Formal verification of distributed aircraft controllers. - Sarah M. Loos; David W. Renshaw; André Platzer (HSCC, 2013)

A Generalization of SAT and #SAT for Robust Policy Evaluation. - Erik Peter Zawadzki; André Platzer; Geoffrey J. Gordon (IJCAI, 2013)

Efficiency analysis of formally verified adaptive cruise controllers. - Sarah M. Loos; David Witmer; Peter Steenkiste; André Platzer (ITSC, 2013)

On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. - Stefan Mitsch; Khalil Ghorbal; André Platzer (Robotics: Science and Systems, 2013)

Bayesian statistical model checking with application to Stateflow/Simulink verification. - Paolo Zuliani; André Platzer; Edmund M. Clarke (Formal Methods Syst. Des., 2013)

dTL2: Differential Temporal Dynamic Logic with Nested Temporalities for Hybrid Systems. - Jean-Baptiste Jeannin; André Platzer (IJCAR, 2014)

Refactoring, Refinement, and Reasoning - A Logical Characterization for Hybrid Systems. - Stefan Mitsch; Jan-David Quesel; André Platzer (FM, 2014)

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations. - Khalil Ghorbal; Andrew Sogokon; André Platzer (SAS, 2014)

Characterizing Algebraic Invariants by Differential Radical Invariants. - Khalil Ghorbal; André Platzer (TACAS, 2014)

Analog and Hybrid Computation: Dynamical Systems and Programming Languages. - André Platzer (Bull. EATCS, 2014)

Numerically-aided Deductive Safety Proof for a Powertrain Control System. - Nikos Aréchiga; James Kapinski; Jyotirmoy V. Deshmukh; André Platzer; Bruce H. Krogh (NSV, 2014)

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. - Khalil Ghorbal; Jean-Baptiste Jeannin; Erik Zawadzki; André Platzer; Geoffrey J. Gordon; Peter Capell (J. Aerosp. Inf. Syst., 2014)

Collaborative Verification-Driven Engineering of Hybrid Systems. - Stefan Mitsch; Grant Olney Passmore; André Platzer (Math. Comput. Sci., 2014)

Supporting Heterogeneity in Cyber-Physical Systems Architectures. - Akshay Rajhans; Ajinkya Bhave; Ivan Ruchkin; Bruce H. Krogh; David Garlan; André Platzer; Bradley R. Schmerl (IEEE Trans. Autom. Control., 2014)

Ernst-Rüdiger Olderog: A Life for Meaning. - André Platzer (Correct System Design, 2015)

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Jan-David Quesel; Marcus Völp; André Platzer (CADE, 2015)

A Uniform Substitution Calculus for Differential Dynamic Logic. - André Platzer (CADE, 2015)

Forward invariant cuts to simplify proofs of safety. - Nikos Aréchiga; James Kapinski; Jyotirmoy V. Deshmukh; André Platzer; Bruce H. Krogh (EMSOFT, 2015)

Formal verification of ACAS X, an industrial airborne collision avoidance system. - Jean-Baptiste Jeannin; Khalil Ghorbal; Yanni Kouskoulas; Ryan W. Gardner; Aurora C. Schmidt; Erik Zawadzki; André Platzer (EMSOFT, 2015)

Proving Hybrid Systems. - André Platzer (FMCAD, 2015)

Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. - Andreas Müller 015; Stefan Mitsch; André Platzer (ITSC, 2015)

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. - Jean-Baptiste Jeannin; Khalil Ghorbal; Yanni Kouskoulas; Ryan W. Gardner; Aurora C. Schmidt; Erik Zawadzki; André Platzer (TACAS, 2015)

A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets. - Khalil Ghorbal; Andrew Sogokon; André Platzer (VMCAI, 2015)

Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems. - Stefan Mitsch; André Platzer; Werner Retschitzegger; Wieland Schwinger (ACM Comput. Surv., 2015)

Logic & Proofs for Cyber-Physical Systems. - André Platzer (IJCAR, 2016)

A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. - Nathan Fulton; André Platzer (CPP, 2016)

A Component-Based Approach to Hybrid Systems Safety Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (IFM, 2016)

Differential Refinement Logic. - Sarah M. Loos; André Platzer (LICS, 2016)

Keynote talk I: How to prove hybrid systems. - André Platzer (MEMOCODE, 2016)

A Method for Invariant Generation for Polynomial Continuous Systems. - Andrew Sogokon; Khalil Ghorbal; Paul B. Jackson; André Platzer (VMCAI, 2016)

The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. - Stefan Mitsch; André Platzer (F-IDE@FM, 2016)

ModelPlex: verified runtime validation of verified cyber-physical system models. - Stefan Mitsch; André Platzer (Formal Methods Syst. Des., 2016)

How to model and prove hybrid systems with KeYmaera: a tutorial on safety. - Jan-David Quesel; Stefan Mitsch; Sarah M. Loos; Nikos Aréchiga; André Platzer (Int. J. Softw. Tools Technol. Transf., 2016)

Formally verified differential dynamic logic. - Rose Bohrer; Vincent Rahli; Ivana Vukotic; Marcus Völp; André Platzer (CPP, 2017)

A Benchmark for Component-based Hybrid Systems Safety Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (ARCH@CPSWeek, 2017)

Change and Delay Contracts for Hybrid System Component Verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (FASE, 2017)

Bellerophon: Tactical Theorem Proving for Hybrid Systems. - Nathan Fulton; Stefan Mitsch; Rose Bohrer; André Platzer (ITP, 2017)

Formal Verification of Train Control with Air Pressure Brakes. - Stefan Mitsch; Marco Gario; Christof J. Budnik; Michael Golm; André Platzer (RSSRail, 2017)

A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. - Khalil Ghorbal; Andrew Sogokon; André Platzer (Comput. Lang. Syst. Struct., 2017)

Formal verification of obstacle avoidance and navigation of ground robots. - Stefan Mitsch; Khalil Ghorbal; David Vogelbacher; André Platzer (Int. J. Robotics Res., 2017)

A Complete Uniform Substitution Calculus for Differential Dynamic Logic. - André Platzer (J. Autom. Reason., 2017)

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. - Jean-Baptiste Jeannin; Khalil Ghorbal; Yanni Kouskoulas; Aurora C. Schmidt; Ryan W. Gardner; Stefan Mitsch; André Platzer (Int. J. Softw. Tools Technol. Transf., 2017)

Differential Hybrid Games. - André Platzer (ACM Trans. Comput. Log., 2017)

Logical Foundations of Cyber-Physical Systems - André Platzer (Springer, 2018)

Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. - Nathan Fulton; André Platzer (AAAI, 2018)

CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. - Rose Bohrer; Adriel Luo; Xue An Chuang; André Platzer (ADHS, 2018)

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; André Platzer; Hengjun Zhao; Xiangyu Jin; Shuling Wang 003; Naijun Zhan (ARCH@ADHS, 2018)

Uniform Substitution for Differential Game Logic. - André Platzer (IJCAR, 2018)

A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). - Andreas Müller 015; Stefan Mitsch; Wieland Schwinger; André Platzer (CyPhy/WESE, 2018)

Vector Barrier Certificates and Comparison Systems. - Andrew Sogokon; Khalil Ghorbal; Yong Kiam Tan; André Platzer (FM, 2018)

Safe AI for CPS (Invited Paper). - Nathan Fulton; André Platzer (ITC, 2018)

A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. - Rose Bohrer; André Platzer (LICS, 2018)

Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. - André Platzer; Yong Kiam Tan (LICS, 2018)

VeriPhy: verified controller executables from verified cyber-physical system models. - Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Magnus O. Myreen; André Platzer (PLDI, 2018)

Verified Runtime Validation for Partially Observable Hybrid Systems. - Stefan Mitsch; André Platzer (CoRR, 2018)

Tactical contract composition for hybrid system component verification. - Andreas Müller 015; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger; André Platzer (Int. J. Softw. Tools Technol. Transf., 2018)

Verification of Hybrid Systems. - Laurent Doyen 001; Goran Frehse; George J. Pappas; André Platzer (Handbook of Model Checking, 2018)

dLι: Definite Descriptions in Differential Dynamic Logic. - Rose Bohrer; Manuel Fernández 005; André Platzer (CADE, 2019)

Towards Physical Hybrid Systems. - Katherine Cordwell; André Platzer (CADE, 2019)

Uniform Substitution at One Fell Swoop. - André Platzer (CADE, 2019)

Verifiably safe SCUBA diving using commodity sensors: work-in-progress. - Viren Bajaj; Karim Elmaaroufi; Nathan Fulton; André Platzer (EMSOFT Companion, 2019)

Pegasus: A Framework for Sound Continuous Invariant Generation. - Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer (FM, 2019)

An Axiomatic Approach to Liveness for Differential Equations. - Yong Kiam Tan; André Platzer (FM, 2019)

HyPLC: hybrid programmable logic controller program translation for verification. - Luis Garcia 001; Stefan Mitsch; André Platzer (ICCPS, 2019)

Toward multi-task support and security analyses in PLC program translation for verification: poster abstract. - Luis Garcia 001; Stefan Mitsch; André Platzer (ICCPS, 2019)

The Logical Path to Autonomous Cyber-Physical Systems. - André Platzer (QEST, 2019)

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. - João G. Martins; André Platzer; João Leite 001 (TABLEAUX, 2019)

Verifiably Safe Off-Model Reinforcement Learning. - Nathan Fulton; André Platzer (TACAS (1), 2019)

Differential Game Logic. - André Platzer (Arch. Formal Proofs, 2019)

Toward Structured Proofs for Dynamic Logics. - Rose Bohrer; André Platzer (CoRR, 2019)

Overview of Logical Foundations of Cyber-Physical Systems. - André Platzer (CoRR, 2019)

A Formal Safety Net for Waypoint-Following in Ground Robots. - Rose Bohrer; Yong Kiam Tan; Stefan Mitsch; Andrew Sogokon; André Platzer (IEEE Robotics Autom. Lett., 2019)

Constructive Hybrid Games. - Rose Bohrer; André Platzer (IJCAR (1), 2020)

Constructive Game Logic. - Rose Bohrer; André Platzer (ESOP, 2020)

Refining Constructive Hybrid Games. - Rose Bohrer; André Platzer (FSCD, 2020)

Differential Equation Invariance Axiomatization. - André Platzer; Yong Kiam Tan (J. ACM, 2020)

A Retrospective on Developing Hybrid System Provers in the KeYmaera Family - A Tale of Three Provers. - Stefan Mitsch; André Platzer (20 Years of KeY, 2020)

Switched Systems as Hybrid Programs. - Yong Kiam Tan; André Platzer (ADHS, 2021)

A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. - Katherine Cordwell; Yong Kiam Tan; André Platzer (ITP, 2021)

Deductive Stability Proofs for Ordinary Differential Equations. - Yong Kiam Tan; André Platzer (TACAS (2), 2021)

The BKR Decision Procedure for Univariate Real Arithmetic. - Katherine Cordwell; Yong Kiam Tan; André Platzer (Arch. Formal Proofs, 2021)

Verified Quadratic Virtual Substitution for Real Arithmetic. - Matias Scharager; Katherine Cordwell; Stefan Mitsch; André Platzer (Arch. Formal Proofs, 2021)

An axiomatic approach to existence and liveness for differential equations. - Yong Kiam Tan; André Platzer (Formal Aspects Comput., 2021)

Pegasus: sound continuous invariant generation. - Andrew Sogokon; Stefan Mitsch; Yong Kiam Tan; Katherine Cordwell; André Platzer (Formal Methods Syst. Des., 2021)

Correction to: How to model and prove hybrid systems with KeYmaera: a tutorial on safety. - Jan-David Quesel; Stefan Mitsch; Sarah M. Loos; Nikos Aréchiga; André Platzer (Int. J. Softw. Tools Technol. Transf., 2021)

Structured Proofs for Adversarial Cyber-Physical Systems. - Rose Bohrer; André Platzer (ACM Trans. Embed. Comput. Syst., 2021)

Implicit Definitions with Differential Equations for KeYmaera X - (System Description). - James Gallicchio; Yong Kiam Tan; Stefan Mitsch; André Platzer (IJCAR, 2022)

Verifying Switched System Stability With Logic. - Yong Kiam Tan; Stefan Mitsch; André Platzer (HSCC, 2022)

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis. - Jonathan Laurent; André Platzer (NeurIPS, 2022)

A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. - Katherine Cordwell; Yong Kiam Tan; André Platzer (Arch. Formal Proofs, 2022)

First-Order Game Logic and Modal Mu-Calculus. - Noah Abou El Wafa; André Platzer (CoRR, 2022)

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies. - Jonathan Laurent; André Platzer (CoRR, 2022)

Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles. - Qin Lin 001; Stefan Mitsch; André Platzer; John M. Dolan (IEEE Control. Syst. Lett., 2022)

Correction to: Differential Dynamic Logic for Hybrid Systems. - André Platzer (J. Autom. Reason., 2022)

Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. - Aditi Kabra; Stefan Mitsch; André Platzer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CADE, 2023)

Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract). - André Platzer (SC-Square@ISSAC, 2023)

Refinements of Hybrid Dynamical Systems Logic. - André Platzer (ABZ, 2023)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems. - William Simmons; André Platzer (CoRR, 2023)

Dynamic Logic of Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CoRR, 2023)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic. - Myra Dotzel; Stefan Mitsch; André Platzer (CoRR, 2023)

Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. - Rachel Cleaveland; Stefan Mitsch; André Platzer (ACM Trans. Embed. Comput. Syst., 2023)

Uniform Substitution for Differential Refinement Logic. - Enguerrand Prebet; André Platzer (IJCAR (2), 2024)

Intersymbolic AI - Interlinking Symbolic AI and Subsymbolic AI. - André Platzer (ISoLA (4), 2024)

Complete Game Logic with Sabotage. - Noah Abou El Wafa; André Platzer (LICS, 2024)

Provably Safe Neural Network Controllers via Differential Dynamic Logic. - Samuel Teuber; Stefan Mitsch; André Platzer (NeurIPS, 2024)

CESAR: Control Envelope Synthesis via Angelic Refinements. - Aditi Kabra; Jonathan Laurent; Stefan Mitsch; André Platzer (TACAS (1), 2024)

The Significance of Symbolic Logic for Scientific Education. - André Platzer (FMTea, 2024)

Complete Dynamic Logic of Communicating Hybrid Programs. - Marvin Brieger; Stefan Mitsch; André Platzer (CoRR, 2024)

Axiomatization of Compact Initial Value Problems: Open Properties. - André Platzer; Long Qian (CoRR, 2024)

samysweb/NCubeV: v0.9. - Samuel Teuber; Stefan Mitsch; André Platzer (Zenodo, 2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic. - Jonathan Hellwig; André Platzer (CADE, 2025)

Verification of Autonomous Neural Car Control with KeYmaera X. - Enguerrand Prebet; Samuel Teuber; André Platzer (ABZ, 2025)

Does Every Computer Scientist Need to Know Formal Methods? - Manfred Broy; Achim D. Brucker; Alessandro Fantechi; Mario Gleirscher; Klaus Havelund; Markus Alexander Kuppe; Alexandra Mendes; André Platzer; Jan Oliver Ringert; Allison Sullivan (Formal Aspects Comput., 2025)

Adaptive Shielding via Parametric Safety Proofs. - Yao Feng 002; Jun Zhu 001; André Platzer; Jonathan Laurent (Proc. ACM Program. Lang., 2025)

Hybrid dynamical systems logic and its refinements. - André Platzer (Sci. Comput. Program., 2025)

Adaptive Shielding via Parametric Safety Proofs. - Yao Feng 002; Jun Zhu 001; André Platzer; Jonathan Laurent (Zenodo, 2025)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software. - Jonathan Laurent; André Platzer (CoRR, 2025)

Complete First-Order Game Logic. - Noah Abou El Wafa; André Platzer (CoRR, 2025)

Semi-Competitive Differential Game Logic. - Julia Butte; André Platzer (CoRR, 2025)

Approximate Axiomatization for Differentially-Defined Functions. - André Platzer; Long Qian (CoRR, 2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories. - Samuel Teuber; Mattias Ulbrich; André Platzer; Bernhard Beckert (CoRR, 2025)

Hybrid Game Control Envelope Synthesis. - Aditi Kabra; Jonathan Laurent; Stefan Mitsch; André Platzer (CoRR, 2025)