Lei Song

最新发表

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

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

Yong Li, Lei Song, Yuan Feng, Lijun Zhang (2016). Verify LTL with Fairness Assumptions Efficiently. 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME).

引用 DOI

Yuan Feng, Lei Song, Lijun Zhang (2015). Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.

引用 arXiv URL