Pierre-Loïc Garoche

About
News
Publications
Projects
Tools
Collaborators
Talks
Teaching
Internships
Contact

Misc

New paper in Aerospace journal

New paper published in the MDPI Aerospace journal on formal verification of control systems.

Published

January 1, 2025

Personal website of Pierre-Loïc Garoche. Views and content are solely my own and do not represent the positions of ENAC, NASA, or any other institution.