Software Design and Analysis Lab
Home
Team
Projects
Publications
News
Tools
Announcement_1
Published:
Feb 19, 2024
by
Announcement_1
Parv’s paper on STL decomposition for planning was accepted to Nasa Formal Methods 2024!