共 50 条
- [21] Differential dynamic logic for hybrid systems Journal of Automated Reasoning, 2008, 41 (02): : 143 - 189
- [22] Race Logic: A Hardware Acceleration for Dynamic Programming Algorithms 2014 ACM/IEEE 41ST ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA), 2014, : 517 - 528
- [23] dLι: Definite Descriptions in Differential Dynamic Logic AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 94 - 110
- [24] ON THE DIFFERENTIAL DYNAMIC LOGIC MODEL FOR HYBRID SYSTEMS ACTA TECHNICA NAPOCENSIS SERIES-APPLIED MATHEMATICS MECHANICS AND ENGINEERING, 2018, 61 (04): : 533 - 538
- [25] A Temporal Differential Dynamic Logic Formal Embedding PROCEEDINGS OF THE 13TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2024, 2024, : 162 - 176
- [26] Correction to: Differential Dynamic Logic for Hybrid Systems Journal of Automated Reasoning, 2022, 66 : 173 - 173
- [27] A Uniform Substitution Calculus for Differential Dynamic Logic AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 467 - 481
- [28] Compositional proofs in differential dynamic logic dL 2017 17TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD), 2017, : 19 - 28
- [29] Quaternary dynamic differential logic with application to fuzzy-logic circuits 27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 215 - 220