The PyModelExtractor is a Python framework for the active learning of Automata in a black box context.
PyModelExtractor is developed at the Department of Artificial Intelligence and Big Data of the Universidad ORT Uruguay. Its main goal is to enable the explainability and checking of complex systems in a black box context.
DFA
- L*
- BoundedL*
- Kearns Vazirani
- Observation Pack
PDFA
- L*_{P}
- QuaNT
- BoundedL*_{P}
- BoundedQuaNT
SFA
- Lambda*
pip install pymodelextractor
Franz Mayr
Federico Pan
Federico Vilensky