Lei Song

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 6

Top Topics

Markov Decision Process

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking for Probabilistic Multiagent Systems. J. Comput. Sci. Technol. 38 (5) (2023)
Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. IJCAI (2018)
Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen
Probabilistic bisimulation for realistic schedulers. Acta Informatica 55 (6) (2018)
Vahid Hashemi, Holger Hermanns, Lei Song
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. VMCAI (2016)
Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Piotr J. Wojciechowski
Compositional Bisimulation Minimization for Interval Markov Decision Processes. LATA (2016)
Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang
Probabilistic Bisimulation for Realistic Schedulers. FM (2015)
Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
Incremental Bisimulation Abstraction Refinement. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Joost-Pieter Katoen, Lei Song, Lijun Zhang
Probably Safe or Live. CoRR (2014)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. VMCAI (2014)
Joost-Pieter Katoen, Lei Song, Lijun Zhang
Probably safe or live. CSL-LICS (2014)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
Bisimulations Meet PCTL Equivalences for Probabilistic Automata Log. Methods Comput. Sci. 9 (2) (2013)
David N. Jansen, Lei Song, Lijun Zhang
Revisiting Weak Simulation for Substochastic Markov Chains. QEST (2013)
Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
Incremental Bisimulation Abstraction Refinement. ACSD (2013)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
The Branching Time Spectrum for Continuous-time MDPs CoRR (2012)
Lei Song, Jens Chr. Godskesen
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks. IFIP TCS (2012)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
Late Weak Bisimulation for Markov Automata CoRR (2012)
Lei Song, Flemming Nielson, Bo Friis Nielsen
A Stochastic Broadcast Pi-Calculus QAPL (2011)
Lei Song, Lijun Zhang, Jens Chr. Godskesen
Bisimulations Meet PCTL Equivalences for Probabilistic Automata. CONCUR (2011)
Lei Song, Jens Chr. Godskesen
Probabilistic Mobility Models for Mobile and Wireless Networks. IFIP TCS (2010)