External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Assumption Generation for Learning-Enabled Autonomous Systems

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu. Assumption Generation for Learning-Enabled Autonomous Systems. In Panagiotis Katsaros, Laura Nenzi, editors, Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings. Volume 14245 of Lecture Notes in Computer Science, pages 3-22, Springer, 2023. [doi]

Authors

Corina S. Pasareanu

This author has not been identified. Look up 'Corina S. Pasareanu' in Google

Ravi Mangal

This author has not been identified. Look up 'Ravi Mangal' in Google

Divya Gopinath

This author has not been identified. Look up 'Divya Gopinath' in Google

Huafeng Yu

This author has not been identified. Look up 'Huafeng Yu' in Google
runs on