Lijun Zhang

最新发表

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

Yuan Feng, Lijun Zhang (2017). Precisely deciding CSL formulas through approximate model checking for CTMCs. Journal of Computer and System Sciences.

引用 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, Lijun Zhang (2015). A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. Distributed Computing.

引用 DOI URL

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

引用 arXiv URL

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

引用

Yuan Feng, Lijun Zhang (2014). When Equivalence and Bisimulation Join Forces in Probabilistic Automata. FM 2014: Formal Methods.

引用

Yuan Feng, Lijun Zhang (2013). A tighter bound for the self-stabilization time in Hermanʼs algorithm. Information Processing Letters.

引用 DOI URL