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:…
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:…