Tag: Kristin Yvonne Rozier

Title: Multi-Platform, Multi-Architecture Runtime Verification for Autonomous Systems Speaker: Kristin Yvonne Rozier, Laboratory Head for Temporal Logic in Aerospace, Iowa State University Date: Friday, April 20, 2018 Time: 10:45am Location: NIA, Room 137 Abstract: System Health Management (SHM) is becoming critical to the deployment of a wide range of systems, including aircraft, spacecraft, satellites, and…