GitHub repository: leonardobertolani/Lsha
Description: L* algorithm implementation for Stochastic Hybrid Automaton