Run-Time Assurance for Learning-Enabled Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Darren D. Cofer, Isaac Amundson, Ramachandra Sattigeri, Arjun Passi, Christopher Boggs, Eric Smith, Limei Gilham, Taejoon Byun, Sanjai Rayadurgam. Run-Time Assurance for Learning-Enabled Systems. In Ritchie Lee, Susmit Jha, Anastasia Mavridou, editors, NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Volume 12229 of Lecture Notes in Computer Science, pages 361-368, Springer, 2020. [doi]

This author has not been identified. Look up 'Darren D. Cofer' in GoogleThis author has not been identified. Look up 'Isaac Amundson' in GoogleThis author has not been identified. Look up 'Ramachandra Sattigeri' in GoogleThis author has not been identified. Look up 'Arjun Passi' in GoogleThis author has not been identified. Look up 'Christopher Boggs' in GoogleThis author has not been identified. Look up 'Eric Smith' in GoogleThis author has not been identified. Look up 'Limei Gilham' in GoogleThis author has not been identified. Look up 'Taejoon Byun' in GoogleThis author has not been identified. Look up 'Sanjai Rayadurgam' in Google

runs on WebDSL