Stav dette: Symbolic Model Learning: New Algorithms and Applications