Doron Drusinsky, James Bret Michael, Matthew Litton. Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems. In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022. pages 333-341, IEEE, 2022. [doi]
Abstract is missing.