A Temporal Differential Dynamic Logic Formal EmbeddingJan 15, 2024·Lauren White,Laura Titolo,J. Tanner Slagel,Cesar A. Muñoz· 0 min read PDF Cite DOITypePreprintPublication13th ACM SIGPLAN International Conference on Certified Programs and Proof, (CPP 2024)Last updated on Jan 15, 2024 ← Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0 Sep 14, 2024A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts Oct 24, 2023 →