ICMLJul, 2023
从成员和偏好查询中学习正式规范
Learning Formal Specifications from Membership and Preference Queries
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia
TL;DR提出了一个将成员标签和成对偏好结合起来的新框架,扩展了主动规范学习的方法,以更灵活地进行活跃规范学习,通过两种模式的学习使我们能够鲁棒且方便地识别成员标签和偏好的规范。