-
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
- Published at: Conference Paper;13th NASA Formal Methods Symposium (NFM 2021)
- Date: 05/24/21
- Authors:
Anastasia Mavridou
Publications for the year 2021 (5 out of 726)
-
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks
- Published at: Conference Paper; IEEE Institute of Electrical and Electronics Engineers
- Date: 05/23/21
- Authors:
Corina Pasareanu
-
Talk for the T&E Group
- Published at: Presentation; T&E Briefing
- Date: 04/30/21
- Authors:
Guillaume Brat
-
Capturing and Analyzing Requirements with FRET
- Published at: Presentation; SFHMMY 12, The Cnference of Electrical and Computer Engineering Students
- Date: 04/28/21
- Authors:
Anastasia Mavridou
-
Machine Learning Explainability and Transferability for Path Navigation
- Published at: Conference Paper; AIAA SciTech 2021
- Date: 01/11/21
- Authors:
Adrian Agogino
« Previous 1