dr. ir. Sofie Haesaert

Talk at Shanghai Jiao Tong University

During my travels through China, I visited Prof. Anders Linquist at the Shanghai Jia Tong university. I gave a talk about correct-by-design synthesis for general Markov decision processes.

Slide