海角社区

Mingsheng Ying - Model Checking Quantum Systems: An Introduction

This masterclass moves from classical model checking to the emerging domain of quantum systems, introducing key verification tools before exploring quantum computing and quantum Markov models. It culminates in algorithmic approaches for model checking quantum Markov chains, where uncertainty, superposition, and probability converge in new ways