Aug 2026
A Rocq Prover STL Formalization with Transformations for Mission Planning
Danil Berrah, François Pessaux, Alexandre Chapoutot
· Journal of automated reasoni... · 0 citations
1 paper indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.