Quantitative Analysis of Counterexample Generation for Automata Learning

Le, Dan-Tuong; Moerman, Joshua (Thesis advisor); Katoen, Joost-Pieter (Thesis advisor); Noll, Thomas (Thesis advisor)

Aachen (2020)
Bachelor Thesis

Bachelorarbeit, RWTH Aachen University, 2020