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
Authors/Creators
- Publisher:
- University of Oxford
- Publication date:
- 2023
- DOI:
- Subtype:
-
Software
- Pubs id:
-
1354540
- Local pid:
-
pubs:1354540
- Deposit date:
-
2023-06-06
If you are the owner of this record, you can report an update to it here: Report update to this record