| 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 | 41 | 2023 |
| 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 | 35 | 2010 |
| 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 | 34 | 2023 |
| Bisimulations meet PCTL equivalences for probabilistic automata L Song, L Zhang, JC Godskesen, F Nielson Logical Methods in Computer Science 9, 2013 | 28 | 2013 |
| A simple probabilistic extension of modal mu-calculus W Liu, L Song, J Wang, L Zhang arXiv preprint arXiv:1504.07737, 2015 | 27 | 2015 |
| 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 | 25 | 2018 |
| 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 | 19 | 2012 |
| 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 | 18 | 2022 |
| Model checking probabilistic epistemic logic for probabilistic multiagent systems C Fu, A Turrini, X Huang, L Song, Y Feng, L Zhang IJCAI International Joint Conference on Artificial Intelligence, 2018 | 15 | 2018 |
| Reward-bounded reachability probability for uncertain weighted MDPs V Hashemi, H Hermanns, L Song International Conference on Verification, Model Checking, and Abstract …, 2015 | 15 | 2015 |
| Probably safe or live JP Katoen, L Song, L Zhang Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 15 | 2014 |
| Pre-trained large language models for industrial control L Song, C Zhang, L Zhao, J Bian arXiv preprint arXiv:2308.03028, 2023 | 14 | 2023 |
| Late weak bisimulation for Markov automata L Song, L Zhang, JC Godskesen, H Hermanns, C Eisentraut CoRR, abs/1202.4116, 2012 | 13 | 2012 |
| 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 | 12 | 2016 |
| A versatile multi-agent reinforcement learning benchmark for inventory management X Yang, Z Liu, W Jiang, C Zhang, L Zhao, L Song, J Bian arXiv preprint arXiv:2306.07542, 2023 | 11 | 2023 |
| 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 | 10 | 2015 |
| Broadcast abstraction in a stochastic calculus for mobile networks L Song, JC Godskesen IFIP International Conference on Theoretical Computer Science, 342-356, 2012 | 10 | 2012 |
| Protecting your llms with information bottleneck Z Liu, Z Wang, L Xu, J Wang, L Song, T Wang, C Chen, W Cheng, J Bian arXiv preprint arXiv:2404.13968, 2024 | 9 | 2024 |
| Bisimulations and logical characterizations on continuous-time Markov decision processes L Song, L Zhang, JC Godskesen Verification, Model Checking, and Abstract Interpretation: 15th …, 2014 | 9 | 2014 |
| Incremental bisimulation abstraction refinement L Song, L Zhang, H Hermanns, JC Godskesen ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-23, 2014 | 8 | 2014 |
