Litcius/Paper detail

Run-Time Assurance for Learning-Enabled Systems

Darren Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric W. Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam

2020Lecture notes in computer science26 citationsDOI

Topics & Concepts

Computer scienceCertificationImplementationArchitectureSafety assurancePublicitySystem safetyEmbedded systemSoftware engineeringSystems engineeringReliability engineeringEngineeringBusinessLawArtMarketingPolitical scienceVisual artsSafety Systems Engineering in AutonomySoftware Reliability and Analysis ResearchRisk and Safety Analysis
Run-Time Assurance for Learning-Enabled Systems | Litcius