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:
-
-
(Version of record, zip, 35.4KB, Terms of use)
-
Authors/Creators
- Publisher:
- University of Oxford
- Publication date:
- 2023
- DOI:
- Subtype:
-
Software
- Pubs id:
-
1354540
- Local pid:
-
pubs:1354540
- Deposit date:
-
2023-06-06
- ARK identifier:
Terms of use
- Copyright date:
- 2023
- Licence:
- Other
If you are the owner of this record, you can report an update to it here: Report update to this record