Existing Active Learning Approaches
Output Queries
Equivalence Queries
1
In Practice
Gray box
Black box
Partial information
2
Compositional Systems


Black-box & white-box components
Cannot be accessed independently
3
Progress so far
known
unknown
Mealy Machines
A. Abel and J. Reineke, Gray-box Learning of Serial Compositions of Mealy Machines,
Nasa Formal Methods Symposium, June 2016 (accepted)
4