A Rocq Prover STL Formalization with Transformations for Mission Planning Danil Berrah François Pessaux Alexandre Chapoutot Aug 2026 · Journal of automated reasoning · Vol 70 · 0 citations · 47 references DOI Semantic Scholar Save View source Cite Copy APA Copied ✓ Copy MLA Copied ✓ Copy BibTeX Copied ✓ Share