Andrea Turrini

最新发表

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Li-Jun Zhang (2023). Model Checking for Probabilistic Multiagent Systems. Journal of Computer Science and Technology.

引用 DOI URL

Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying (2019). Model Checking Applied to Quantum Physics.

引用 arXiv URL

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang (2018). Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18.

引用 DOI URL

Yuan Feng, \Ernst Moritz\ Hahn, Andrea Turrini, Shenggang Ying (2017). Model Checking Omega-regular Properties for Quantum Markov Chains. 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany.

引用 DOI

Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang (2015). QPMC: A Model Checker for Quantum Programs and Protocols. FM 2015: Formal Methods.

引用