Follow
Lei Song
Lei Song
Microsoft Research Asia
Verified email at microsoft.com
Title
Cited by
Cited by
Year
Probabilistic mobility models for mobile and wireless networks
L Song, JC Godskesen
Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference …, 2010
352010
Bisimulations meet PCTL equivalences for probabilistic automata
L Song, L Zhang, JC Godskesen, F Nielson
Logical Methods in Computer Science 9, 2013
282013
A simple probabilistic extension of modal mu-calculus
W Liu, L Song, J Wang, L Zhang
arXiv preprint arXiv:1504.07737, 2015
262015
Context impacts in Accelerometer-Based walk detection and step counting
B Ao, Y Wang, H Liu, D Li, L Song, J Li
Sensors 18 (11), 3604, 2018
202018
Tracking states of massive electrical appliances by lightweight metering and sequence decoding
Y Wang, X Hao, L Song, C Wu, Y Wang, C Hu, L Yu
Proceedings of the Sixth International Workshop on Knowledge Discovery from …, 2012
192012
H-tsp: Hierarchically solving the large-scale traveling salesman problem
X Pan, Y Jin, Y Ding, M Feng, L Zhao, L Song, J Bian
Proceedings of the AAAI Conference on Artificial Intelligence 37 (8), 9345-9353, 2023
152023
Pointerformer: Deep reinforced multi-pointer transformer for the traveling salesman problem
Y Jin, Y Ding, X Pan, K He, L Zhao, T Qin, L Song, J Bian
Proceedings of the AAAI Conference on Artificial Intelligence 37 (7), 8132-8140, 2023
142023
Reward-bounded reachability probability for uncertain weighted MDPs
V Hashemi, H Hermanns, L Song
International Conference on Verification, Model Checking, and Abstract …, 2015
142015
Probably safe or live
JP Katoen, L Song, L Zhang
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
142014
Late weak bisimulation for Markov automata
L Song, L Zhang, JC Godskesen, H Hermanns, C Eisentraut
CoRR, abs/1202.4116, 2012
132012
Model checking probabilistic epistemic logic for probabilistic multiagent systems
C Fu, A Turrini, X Huang, L Song, Y Feng, L Zhang
PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON …, 2018
122018
Compositional bisimulation minimization for interval Markov decision processes
V Hashemi, H Hermanns, L Song, K Subramani, A Turrini, ...
Language and Automata Theory and Applications: 10th International Conference …, 2016
112016
Broadcast abstraction in a stochastic calculus for mobile networks
L Song, JC Godskesen
IFIP International Conference on Theoretical Computer Science, 342-356, 2012
102012
Probabilistic bisimulation for realistic schedulers
C Eisentraut, JC Godskesen, H Hermanns, L Song, L Zhang
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
92015
Multi-agent reinforcement learning with shared resources for inventory management
Y Ding, M Feng, G Liu, W Jiang, C Zhang, L Zhao, L Song, H Li, Y Jin, ...
arXiv preprint arXiv:2212.07684, 2022
82022
Monitoring massive appliances by a minimal number of smart meters
Y Wang, X Hao, L Song, C Wu, Y Wang, C Hu, L Yu
ACM Transactions on Embedded Computing Systems (TECS) 13 (2s), 1-20, 2014
82014
Bisimulations and logical characterizations on continuous-time Markov decision processes
L Song, L Zhang, JC Godskesen
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
82014
Incremental bisimulation abstraction refinement
L Song, L Zhang, H Hermanns, JC Godskesen
ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-23, 2014
72014
Pre-trained large language models for industrial control
L Song, C Zhang, L Zhao, J Bian
arXiv preprint arXiv:2308.03028, 2023
62023
Distribution-based bisimulation and bisimulation metric in probabilistic automata
Y Feng, L Song, L Zhang
arXiv preprint arXiv:1512.05027, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20