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.
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.