November 2020, Master’s thesis, TU Wien, Institute of Logic and Computation.
Note: supervised by G. Raidl and N. Frohner
Computer Aided Systems Theory – EUROCAST 2019 (Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada-Arencibia), volume 12013 of LNCS, pages 279-287, 2020, Springer.
Chapter in Extended Abstracts of the 17th International Conference on Computer Aided Systems Theory (EUROCAST 2019) (Alexis Quesada-Arencibia and others), pages 78-79, 2019.