Cited By
View all- Platzer A(2025)Hybrid dynamical systems logic and its refinementsScience of Computer Programming10.1016/j.scico.2024.103179239(103179)Online publication date: Jan-2025
- Prebet EPlatzer A(2024)Uniform Substitution for Differential Refinement LogicAutomated Reasoning10.1007/978-3-031-63501-4_11(196-215)Online publication date: 2-Jul-2024
- Kabra ALaurent JMitsch SPlatzer A(2024)CESAR: Control Envelope Synthesis via Angelic RefinementsTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-57246-3_9(144-164)Online publication date: 4-Apr-2024
- Show More Cited By