I have defended my PhD thesis on the 1st of July 2019, entitled Nominal Techniques and Black Box Testing for Automata Learning. You can find the downloads below. If you would like to have a physical copy, please let me know, I might have some left.

Downloads

• Thesis (pdf, digital version, 3.3 MB)

• Thesis (pdf, print version, 3.3 MB)