Invited talk at Frits Vaandrager's 60th birthday

I have enjoyed very much the Workshop celebrating Frits Vaandrager 60th Birthday, which took place in Nijmegen, the Netherlands, on the 23rd of September of 2022.

Frits was my first contact towards obtaining my position to do a PhD and with whom I enjoyed a lot working on one of my most relevant works.

The workshop was a joy and I was delighted to meet, not only Frits, but also a lot of people that I have met back in my times as a PhD student (about 25 years ago!)

In addition I was honored to give a lecture in which I presented our recent work in CAV 2022.

A shame I could not contribute with the excellent volume that was dedicated to Frits:

A Journey from Process Algebra via Timed Automata to Model Learning. Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Nils Jansen, Mariëlle Stoelinga, and Petra van den Bos, editors. LNCS vol. 13560. Springer Cham, 2022.