Learning probabilistic automata with SMT solving

Veltri, Dario; Moerman, Joshua (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor)

Aachen (2021)
Bachelorarbeit

Bachelorarbeit, RWTH Aachen University, 2021