Learning Monitorable Operational Design Domains for Assured Autonomy
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia
Topics & Concepts
CounterexampleComponent (thermodynamics)Computer scienceDomain (mathematical analysis)OddsPerceptionVariety (cybernetics)Distributed computingArtificial intelligenceMachine learningNeurosciencePhysicsMathematical analysisLogistic regressionThermodynamicsBiologyMathematicsDiscrete mathematicsSoftware Reliability and Analysis ResearchAdversarial Robustness in Machine LearningSoftware Testing and Debugging Techniques