PhD Seminar • Programming Languages • Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains
Please note: This PhD seminar will take place in DC 2314 and online.
Jianlin Li, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Yizhou Zhang