Dataset icon

Dataset : Software

Active Learning Implementation

Documentation:
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.

Actions


Access Document


Files:

Authors/Creators


More by this author/creator
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Balliol College
Role:
Creator


Publisher:
University of Oxford
Publication date:
2023
DOI:


Subtype:
Software
Pubs id:
1354540
Local pid:
pubs:1354540
Deposit date:
2023-06-06

Terms of use



Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP