Symbolic Model Learning: New Algorithms and Applications - Argyros, George (ProQuest Dissertations and Theses, 2019)