ARCH-COMP22 category report: hybrid systems theorem proving S Mitsch, B Zhan, H Sheng, A Bentkamp, X Jin, S Wang, S Foster, ... ARCH22. EPiC Series in Computing 90, 185-203, 2022 | 6 | 2022 |
Certifying differential equation solutions from computer algebra systems in isabelle/hol T Hickman, CP Laursen, S Foster arXiv preprint arXiv:2102.02679, 2021 | 5 | 2021 |
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL JJH y Munive, S Foster, M Gleirscher, G Struth, CP Laursen, T Hickman | 1 | 2024 |
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale JJ Huerta y Munive, S Foster, M Gleirscher, G Struth, C Pardillo Laursen, ... Journal of Automated Reasoning 68 (4), 21, 2024 | | 2024 |
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale SD Foster, M Gleirscher, G Struth, C Pardillo Laursen, T Hickman Journal of Automated Reasoning, 2024 | | 2024 |
Brownian Motion in Isabelle/HOL CP Laursen, S Foster, M Post arXiv preprint arXiv:2410.14718, 2024 | | 2024 |
Brownian Motion in Isabelle/HOL C Pardillo Laursen, S Foster, M Post arXiv e-prints, arXiv: 2410.14718, 2024 | | 2024 |
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL S Foster, M Gleirscher, G Struth, CP Laursen, T Hickman arXiv preprint arXiv:2401.12061, 2024 | | 2024 |
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL J Julián Huerta y Munive, S Foster, M Gleirscher, G Struth, ... arXiv e-prints, arXiv: 2401.12061, 2024 | | 2024 |
Integrating Theorem Proving with Computational Algebra Systems CP Laursen | | 2020 |