Active Learning Implementation
收藏DataCite Commons2023-08-07 更新2024-07-13 收录
下载链接:
https://ora.ox.ac.uk/objects/uuid:ee3ebf6f-b1e9-489a-ba1c-34ea04501b20
下载链接
链接失效反馈官方服务:
资源简介:
Active Learning of Abstract System Models from Traces: An active learning framework for generating concise abstractions of a system implementation, instrumented to track a set of system variables. Generated abstractions admit all system traces defined over the set of system variables.
提供机构:
University of Oxford
创建时间:
2023-06-07



