Probabilistic Mobility Models for Mobile and Wireless Networks. - Lei Song 001; Jens Chr. Godskesen (IFIP TCS, 2010)

A Stochastic Broadcast Pi-Calculus - Lei Song 001; Flemming Nielson; Bo Friis Nielsen (QAPL, 2011)

Broadcast Abstraction in a Stochastic Calculus for Mobile Networks. - Lei Song 001; Jens Chr. Godskesen (IFIP TCS, 2012)

Late Weak Bisimulation for Markov Automata - Lei Song 001; Lijun Zhang 001; Jens Chr. Godskesen (CoRR, 2012)

The Branching Time Spectrum for Continuous-time MDPs - Lei Song 001; Lijun Zhang 001; Jens Chr. Godskesen (CoRR, 2012)

Revisiting Weak Simulation for Substochastic Markov Chains. - David N. Jansen; Lei Song 001; Lijun Zhang 001 (QEST, 2013)

Bisimulations Meet PCTL Equivalences for Probabilistic Automata - Lei Song 001; Lijun Zhang 001; Jens Chr. Godskesen (Log. Methods Comput. Sci., 2013)

Probably safe or live. - Joost-Pieter Katoen; Lei Song 001; Lijun Zhang 001 (CSL-LICS, 2014)

Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. - Lei Song 001; Lijun Zhang 001; Jens Chr. Godskesen (VMCAI, 2014)

Incremental Bisimulation Abstraction Refinement. - Lei Song 001; Lijun Zhang 001; Holger Hermanns; Jens Chr. Godskesen (ACM Trans. Embed. Comput. Syst., 2014)

Decentralized Bisimulation for Multiagent Systems. - Lei Song 001; Yuan Feng 001; Lijun Zhang 001 (AAMAS, 2015)

Probabilistic Bisimulation for Realistic Schedulers. - Christian Eisentraut; Jens Chr. Godskesen; Holger Hermanns; Lei Song 001; Lijun Zhang 001 (FM, 2015)

A Simple Probabilistic Extension of Modal Mu-calculus. - Wanwei Liu; Lei Song 001; Ji Wang 001; Lijun Zhang 001 (IJCAI, 2015)

Planning for Stochastic Games with Co-Safe Objectives. - Lei Song 001; Yuan Feng 001; Lijun Zhang 001 (IJCAI, 2015)

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

Compositional Bisimulation Minimization for Interval Markov Decision Processes. - Vahid Hashemi; Holger Hermanns; Lei Song 001; K. Subramani 001; Andrea Turrini; Piotr Wojciechowski 002 (LATA, 2016)

Verify LTL with Fairness Assumptions Efficiently. - Yong Li 031; Lei Song 001; Yuan Feng 001; Lijun Zhang 001 (TIME, 2016)

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs. - Vahid Hashemi; Holger Hermanns; Lei Song 001 (VMCAI, 2016)

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. - Chen Fu; Andrea Turrini; Xiaowei Huang 001; Lei Song 001; Yuan Feng 001; Lijun Zhang 001 (IJCAI, 2018)

Probabilistic bisimulation for realistic schedulers. - Lijun Zhang 001; Pengfei Yang 002; Lei Song 001; Holger Hermanns; Christian Eisentraut; David N. Jansen; Jens Chr. Godskesen (Acta Informatica, 2018)

TD3 with Reverse KL Regularizer for Offline Reinforcement Learning from Mixed Datasets. - Yuanying Cai; Chuheng Zhang; Li Zhao 007; Wei Shen 005; Xuyun Zhang; Lei Song 001; Jiang Bian 002; Tao Qin 001; Tieyan Liu (ICDM, 2022)

Multi-Agent Reinforcement Learning with Shared Resources for Inventory Management. - Yuandong Ding; Mingxiao Feng; Guozi Liu; Wei Jiang 024; Chuheng Zhang; Li Zhao 007; Lei Song 001; Houqiang Li; Yan Jin 005; Jiang Bian 002 (CoRR, 2022)

Pointerformer: Deep Reinforced Multi-Pointer Transformer for the Traveling Salesman Problem. - Yan Jin 005; Yuandong Ding; Xuanhao Pan; Kun He 001; Li Zhao 007; Tao Qin 001; Lei Song 001; Jiang Bian 002 (AAAI, 2023)

H-TSP: Hierarchically Solving the Large-Scale Traveling Salesman Problem. - Xuanhao Pan; Yan Jin 005; Yuandong Ding; Mingxiao Feng; Li Zhao 007; Lei Song 001; Jiang Bian 002 (AAAI, 2023)

Robust Situational Reinforcement Learning in Face of Context Disturbances. - Jinpeng Zhang; Yufeng Zheng; Chuheng Zhang; Li Zhao 007; Lei Song 001; Yuan Zhou 007; Jiang Bian 002 (ICML, 2023)

H-TSP: Hierarchically Solving the Large-Scale Travelling Salesman Problem. - Xuanhao Pan; Yan Jin 005; Yuandong Ding; Mingxiao Feng; Li Zhao 007; Lei Song 001; Jiang Bian 002 (CoRR, 2023)

A Versatile Multi-Agent Reinforcement Learning Benchmark for Inventory Management. - Xianliang Yang; Zhihao Liu; Wei Jiang 024; Chuheng Zhang; Li Zhao 007; Lei Song 001; Jiang Bian 002 (CoRR, 2023)

Pre-Trained Large Language Models for Industrial Control. - Lei Song 001; Chuheng Zhang; Li Zhao 007; Jiang Bian 002 (CoRR, 2023)

Model Checking for Probabilistic Multiagent Systems. - Chen Fu; Andrea Turrini; Xiaowei Huang 001; Lei Song 001; Yuan Feng 001; Lijun Zhang 001 (J. Comput. Sci. Technol., 2023)

Hard Prompts Made Interpretable: Sparse Entropy Regularization for Prompt Tuning with RL. - Yunseon Choi; Sangmin Bae; Seonghyun Ban; Minchan Jeong; Chuheng Zhang; Lei Song 001; Li Zhao 007; Jiang Bian 002; Kee-Eung Kim (ACL (1), 2024)

Higher Replay Ratio Empowers Sample-Efficient Multi-Agent Reinforcement Learning. - Linjie Xu; Zichuan Liu; Alexander Dockhorn; Diego Perez Liebana; Jinyu Wang; Lei Song 001; Jiang Bian 002 (CoG, 2024)

Whittle Index with Multiple Actions and State Constraint for Inventory Management. - Chuheng Zhang; Xiangsen Wang; Wei Jiang 024; Xianliang Yang; Siwei Wang; Lei Song 001; Jiang Bian 002 (ICLR, 2024)

TimeX++: Learning Time-Series Explanations with Information Bottleneck. - Zichuan Liu; Tianchun Wang; Jimeng Shi; Xu Zheng 003; Zhuomin Chen; Lei Song 001; Wenqian Dong; Jayantha Obeysekera; Farhad Shirani 001; Dongsheng Luo (ICML, 2024)

Position: Rethinking Post-Hoc Search-Based Neural Approaches for Solving Large-Scale Traveling Salesman Problems. - Yifan Xia; Xianliang Yang; Zichuan Liu; Zhihao Liu; Lei Song 001; Jiang Bian 002 (ICML, 2024)

Diversification of Adaptive Policy for Effective Offline Reinforcement Learning. - Yunseon Choi; Li Zhao 007; Chuheng Zhang; Lei Song 001; Jiang Bian 002; Kee-Eung Kim (IJCAI, 2024)

Protecting Your LLMs with Information Bottleneck. - Zichuan Liu; Zefan Wang; Linjie Xu; Jinyu Wang; Lei Song 001; Tianchun Wang; Chunlin Chen; Wei Cheng 002; Jiang Bian 002 (NeurIPS, 2024)

Graph Neural Network Enhanced Retrieval for Question Answering of LLMs. - Zijian Li 023; Qingyan Guo; Jiawei Shao; Lei Song 001; Jiang Bian 002; Jun Zhang 004; Rui Wang 028 (CoRR, 2024)

Enhancing Cross-domain Pre-Trained Decision Transformers with Adaptive Attention. - Wenhao Zhao; Qiushui Xu; Linjie Xu; Lei Song 001; Jinyu Wang; Chunlai Zhou; Jiang Bian 002 (CoRR, 2024)

C-MORL: Multi-Objective Reinforcement Learning through Efficient Discovery of Pareto Front. - Ruohong Liu; Yuxin Pan; Linjie Xu; Lei Song 001; Pengcheng You; Yize Chen; Jiang Bian 002 (CoRR, 2024)

Mildly Constrained Evaluation Policy for Offline Reinforcement Learning. - Linjie Xu; Zhengyao Jiang; Jinyu Wang; Lei Song 001; Jiang Bian 002 (Trans. Mach. Learn. Res., 2024)

OMGM: Orchestrate Multiple Granularities and Modalities for Efficient Multimodal Retrieval. - Wei Yang; Jingjing Fu; Rui Wang 028; Jinyu Wang; Lei Song 001; Jiang Bian 002 (ACL (1), 2025)

Efficient Discovery of Pareto Front for Multi-Objective Reinforcement Learning. - Ruohong Liu; Yuxin Pan; Linjie Xu; Lei Song 001; Pengcheng You; Yize Chen; Jiang Bian 002 (ICLR, 2025)

Graph Neural Network Enhanced Retrieval for Question Answering of Large Language Models. - Zijian Li 023; Qingyan Guo; Jiawei Shao; Lei Song 001; Jiang Bian 002; Jun Zhang 004; Rui Wang 028 (NAACL (Long Papers), 2025)

Knowing What Not to Do: Leverage Language Model Insights for Action Space Pruning in Multi-agent Reinforcement Learning. - Zhihao Liu; Xianliang Yang; Zichuan Liu; Yifan Xia; Wei Jiang 024; Yuanyu Zhang; Lijuan Li; Guoliang Fan; Lei Song 001; Jiang Bian 002 (Trans. Mach. Learn. Res., 2025)

PIKE-RAG: sPecIalized KnowledgE and Rationale Augmented Generation. - Jinyu Wang; Jingjing Fu; Rui Wang 028; Lei Song 001; Jiang Bian 002 (CoRR, 2025)

Chain of Functions: A Programmatic Pipeline for Fine-Grained Chart Reasoning Data. - Zijian Li 023; Jingjing Fu; Lei Song 001; Jiang Bian 002; Jun Zhang 004; Rui Wang 028 (CoRR, 2025)

Sample-efficient LLM Optimization with Reset Replay. - Zichuan Liu; Jinyu Wang; Lei Song 001; Jiang Bian 002 (CoRR, 2025)