André Platzer. Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract). In Erika Ábrahám, Thomas Sturm 0001, editors, Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023. Volume 3455 of CEUR Workshop Proceedings, pages 10, CEUR-WS.org, 2023. [doi]
Abstract is missing.