Lei Song

Orcid: 0000-0003-2552-0443

Affiliations:

University of Technology Sydney, Quantum Computation and Intelligent Systems, Australia (since 2014)
Saarland University, Department of Computer Science, Saarbrücken, Germany (2012 - 2014)
Max Planck Institute for Informatics, Saarbrücken, Germany (2012 - 2014)
IT University of Copenhagen, Denmark (2009 - 2012)
Shanghai Jiao Tong University, China (2009 - 2012)

According to our database¹, Lei Song authored at least 21 papers between 2010 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Model Checking for Probabilistic Multiagent Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., September, 2023

2018

Probabilistic bisimulation for realistic schedulers.

[BibT_eX]

[DOI]

Acta Informatica, 2018

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2016

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs.

[BibT_eX]

[DOI]

Vahid Hashemi

Holger Hermanns

Lei Song

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Verify LTL with Fairness Assumptions Efficiently.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Compositional Bisimulation Minimization for Interval Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

2015

Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata.

[BibT_eX]

[DOI]

Yuan Feng

Lei Song

Lijun Zhang

CoRR, 2015

Planning for Stochastic Games with Co-Safe Objectives.

[BibT_eX]

[DOI]

Lei Song

Yuan Feng

Lijun Zhang

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Simple Probabilistic Extension of Modal Mu-calculus.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Probabilistic Bisimulation for Realistic Schedulers.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Decentralized Bisimulation for Multiagent Systems.

[BibT_eX]

[DOI]

Lei Song

Yuan Feng

Lijun Zhang

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Incremental Bisimulation Abstraction Refinement.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2014

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.

[BibT_eX]

[DOI]

Lei Song

Lijun Zhang

Jens Chr. Godskesen

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Probably safe or live.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Lei Song

Lijun Zhang

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Bisimulations Meet PCTL Equivalences for Probabilistic Automata

[BibT_eX]

[DOI]

Lei Song

Lijun Zhang

Jens Chr. Godskesen

Log. Methods Comput. Sci., 2013

Revisiting Weak Simulation for Substochastic Markov Chains.

[BibT_eX]

[DOI]

David N. Jansen