Publications

289Citations

7h-index

16Papers

via Semantic Scholar · as of September 2026 Google Scholar profile

Jump to: Conferences · Journals · Preprints · Book chapters · Theses

Conference

Li, L., Qian, Z., Xia, J., Wang, Y., Li, Z., Geng, Q., Zhang, H., Hu, L., Li, Q., & Lou, J. (2026). Topology-Guided Modular Actor-Critic Learning for Continuous Systems under Temporal Objectives. 2026 4th International Conference on Intelligent Control and Computing (IC&C). PDF

BibTeX

@inproceedings{li2026topology,
  title = {Topology-Guided Modular Actor-Critic Learning for Continuous Systems under Temporal Objectives},
  author = {Li, Lening and Qian, Zhentian and Xia, Jianan and Wang, Yawen and Li, Zhongjing and Geng, Qiren and Zhang, Huasheng and Hu, Liang and Li, Qishuang and Lou, Junqiang},
  booktitle = {2026 4th International Conference on Intelligent Control and Computing (IC\&C)},
  address = {Harbin, China},
  year = {2026},
  note = {Accepted; to appear},
  pdf = {https://arxiv.org/pdf/2304.10041}
}

Li, L., Rahmani, H., & Fu, J. (2023). Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives. Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI), 189–198. https://doi.org/10.24963/ijcai.2023/22 PDF

BibTeX

@inproceedings{li2023probabilistic,
  title = {Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives},
  author = {Li, Lening and Rahmani, Hazhar and Fu, Jie},
  booktitle = {Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {189--198},
  year = {2023},
  doi = {10.24963/ijcai.2023/22},
  pdf = {https://www.ijcai.org/proceedings/2023/0022.pdf}
}

Li, L., Ma, H., Han, S., & Fu, J. (2023). Synthesis of Proactive Sensor Placement in Probabilistic Attack Graphs. 2023 American Control Conference (ACC), 3415–3421. https://doi.org/10.23919/ACC55779.2023.10156520 PDF

BibTeX

@inproceedings{li2023synthesis,
  title = {Synthesis of Proactive Sensor Placement in Probabilistic Attack Graphs},
  author = {Li, Lening and Ma, Haoxiang and Han, Shuo and Fu, Jie},
  booktitle = {2023 American Control Conference (ACC)},
  pages = {3415--3421},
  year = {2023},
  organization = {IEEE},
  doi = {10.23919/ACC55779.2023.10156520},
  pdf = {https://arxiv.org/pdf/2210.07385}
}

Li, L., & Fu, J. (2019). Topological approximate dynamic programming under temporal logic constraints. 2019 IEEE 58th Conference on Decision and Control (CDC), 5330–5337. https://doi.org/10.1109/CDC40024.2019.9029959 PDF

BibTeX

@inproceedings{li2019topological,
  title = {Topological approximate dynamic programming under temporal logic constraints},
  author = {Li, Lening and Fu, Jie},
  booktitle = {2019 IEEE 58th Conference on Decision and Control (CDC)},
  pages = {5330--5337},
  year = {2019},
  organization = {IEEE},
  doi = {10.1109/CDC40024.2019.9029959},
  pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9029959}
}

Li, L., & Fu, J. (2019). Approximate dynamic programming with probabilistic temporal logic constraints. 2019 American Control Conference (ACC), 1696–1703. https://doi.org/10.23919/ACC.2019.8815215 PDF

BibTeX

@inproceedings{li2019approximate,
  title = {Approximate dynamic programming with probabilistic temporal logic constraints},
  author = {Li, Lening and Fu, Jie},
  booktitle = {2019 American Control Conference (ACC)},
  pages = {1696--1703},
  year = {2019},
  organization = {IEEE},
  doi = {10.23919/ACC.2019.8815215},
  pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8815215}
}

Li, L., & Fu, J. (2017). Sampling-based approximate optimal temporal logic planning. 2017 IEEE International Conference on Robotics and Automation (ICRA), 1328–1335. https://doi.org/10.1109/ICRA.2017.7989157 PDF

BibTeX

@inproceedings{li2017sampling,
  title = {Sampling-based approximate optimal temporal logic planning},
  author = {Li, Lening and Fu, Jie},
  booktitle = {2017 IEEE International Conference on Robotics and Automation (ICRA)},
  pages = {1328--1335},
  year = {2017},
  organization = {IEEE},
  doi = {10.1109/ICRA.2017.7989157},
  pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7989157}
}

Li, L., Long, X., & Gennert, M. A. (2016). BiRRTOpt: A combined sampling and optimizing motion planner for humanoid robots. 2016 IEEE-RAS 16th International Conference on Humanoid Robots (Humanoids), 469–476. https://doi.org/10.1109/HUMANOIDS.2016.7803317 PDF

BibTeX

@inproceedings{li2016birrtopt,
  title = {{BiRRTOpt}: A combined sampling and optimizing motion planner for humanoid robots},
  author = {Li, Lening and Long, Xianchao and Gennert, Michael A},
  booktitle = {2016 IEEE-RAS 16th International Conference on Humanoid Robots (Humanoids)},
  pages = {469--476},
  year = {2016},
  organization = {IEEE},
  doi = {10.1109/HUMANOIDS.2016.7803317},
  pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7803317}
}

Atkeson, C. G., Babu, B. P. W., Banerjee, N., Berenson, D., Bove, C. P., Cui, X., DeDonato, M., Du, R., Feng, S., Franklin, P., & others. (2015). No falls, no resets: Reliable humanoid behavior in the DARPA Robotics Challenge. 2015 IEEE-RAS 15th International Conference on Humanoid Robots (Humanoids), 623–630. https://doi.org/10.1109/HUMANOIDS.2015.7363436 PDF

BibTeX

@inproceedings{atkeson2015no,
  title = {No falls, no resets: Reliable humanoid behavior in the {DARPA} {Robotics} {Challenge}},
  author = {Atkeson, Christopher G and Babu, Benzun P Wisely and Banerjee, Nandan and Berenson, Dmitry and Bove, Christoper P and Cui, Xiongyi and DeDonato, Mathew and Du, Ruixiang and Feng, Siyuan and Franklin, Perry and others},
  booktitle = {2015 IEEE-RAS 15th International Conference on Humanoid Robots (Humanoids)},
  pages = {623--630},
  year = {2015},
  organization = {IEEE},
  doi = {10.1109/HUMANOIDS.2015.7363436},
  pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7363436}
}

Journal

Li, L., Ma, H., Kulkarni, A. N., & Fu, J. (2023). Dynamic hypergames for synthesis of deceptive strategies with temporal logic objectives. IEEE Transactions on Automation Science and Engineering, 20(1), 334–345. https://doi.org/10.1109/TASE.2022.3150167 PDF

BibTeX

@article{li2023dynamic,
  title = {Dynamic hypergames for synthesis of deceptive strategies with temporal logic objectives},
  author = {Li, Lening and Ma, Haoxiang and Kulkarni, Abhishek N and Fu, Jie},
  journal = {IEEE Transactions on Automation Science and Engineering},
  volume = {20},
  number = {1},
  pages = {334--345},
  year = {2023},
  publisher = {IEEE},
  doi = {10.1109/TASE.2022.3150167},
  pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9716225}
}

Chen, Z., Li, L., & Huang, X. (2020). Building an autonomous lane keeping simulator using real-world data and end-to-end learning. IEEE Intelligent Transportation Systems Magazine, 12(1), 47–59. https://doi.org/10.1109/MITS.2018.2879224 PDF

BibTeX

@article{chen2020building,
  title = {Building an autonomous lane keeping simulator using real-world data and end-to-end learning},
  author = {Chen, Zhilu and Li, Lening and Huang, Xinming},
  journal = {IEEE Intelligent Transportation Systems Magazine},
  volume = {12},
  number = {1},
  pages = {47--59},
  year = {2020},
  publisher = {IEEE},
  doi = {10.1109/MITS.2018.2879224},
  pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8533357}
}

DeDonato, M., Polido, F., Knoedler, K., Babu, B. P. W., Banerjee, N., Bove, C. P., Cui, X., Du, R., Franklin, P., Graff, J. P., & others. (2017). Team WPI-CMU: Achieving reliable humanoid behavior in the DARPA Robotics Challenge. Journal of Field Robotics, 34(2), 381–399. https://doi.org/10.1002/rob.21685 PDF

BibTeX

@article{dedonato2017team,
  title = {Team {WPI-CMU}: Achieving reliable humanoid behavior in the {DARPA} {Robotics} {Challenge}},
  author = {DeDonato, Mathew and Polido, Felipe and Knoedler, Kevin and Babu, Benzun PW and Banerjee, Nandan and Bove, Christoper P and Cui, Xiongyi and Du, Ruixiang and Franklin, Perry and Graff, Joshua P and others},
  journal = {Journal of Field Robotics},
  volume = {34},
  number = {2},
  pages = {381--399},
  year = {2017},
  publisher = {Wiley},
  doi = {10.1002/rob.21685},
  pdf = {https://onlinelibrary.wiley.com/doi/epdf/10.1002/rob.21685}
}

Preprints

Li, L., & Fu, J. (2021). Policy synthesis for metric interval temporal logic with probabilistic distributions. In arXiv preprint arXiv:2105.04593. PDF

BibTeX

@preprint{li2021policy,
  title = {Policy synthesis for metric interval temporal logic with probabilistic distributions},
  author = {Li, Lening and Fu, Jie},
  journal = {arXiv preprint arXiv:2105.04593},
  year = {2021},
  pdf = {https://arxiv.org/pdf/2105.04593}
}

Book chapters

Atkeson, C. G., Benzun, P. W. B., Banerjee, N., Berenson, D., Bove, C. P., Cui, X., DeDonato, M., Du, R., Feng, S., Franklin, P., & others. (2018). Achieving reliable humanoid robot operations in the DARPA Robotics Challenge: Team WPI-CMU’s approach. In M. Spenko, S. Buerger, & K. Iagnemma (Eds.), The DARPA Robotics Challenge Finals: Humanoid Robots to the Rescue (Vol. 121, pp. 271–307). Springer. https://doi.org/10.1007/978-3-319-74666-1_8 PDF

BibTeX

@inbook{atkeson2018achieving,
  title = {Achieving reliable humanoid robot operations in the {DARPA} {Robotics} {Challenge}: Team {WPI-CMU}'s approach},
  author = {Atkeson, Christopher G and Benzun, PW Babu and Banerjee, Nandan and Berenson, Dmitry and Bove, Christoper P and Cui, Xiongyi and DeDonato, Mathew and Du, Ruixiang and Feng, Siyuan and Franklin, Perry and others},
  booktitle = {The {DARPA} {Robotics} {Challenge} {Finals}: Humanoid Robots to the Rescue},
  editor = {Spenko, Matthew and Buerger, Stephen and Iagnemma, Karl},
  series = {Springer Tracts in Advanced Robotics},
  volume = {121},
  pages = {271--307},
  year = {2018},
  publisher = {Springer},
  doi = {10.1007/978-3-319-74666-1_8},
  pdf = {https://link.springer.com/content/pdf/10.1007/978-3-319-74666-1_8.pdf}
}

Atkeson, C. G., Benzun, P. W. B., Banerjee, N., Berenson, D., Bove, C. P., Cui, X., DeDonato, M., Du, R., Feng, S., Franklin, P., & others. (2018). What happened at the DARPA Robotics Challenge Finals. In M. Spenko, S. Buerger, & K. Iagnemma (Eds.), The DARPA Robotics Challenge Finals: Humanoid Robots to the Rescue (Vol. 121, pp. 667–684). Springer. https://doi.org/10.1007/978-3-319-74666-1_17 PDF

BibTeX

@inbook{atkeson2018happened,
  title = {What happened at the {DARPA} {Robotics} {Challenge} {Finals}},
  author = {Atkeson, Christopher G and Benzun, PW Babu and Banerjee, Nandan and Berenson, Dmitry and Bove, Christoper P and Cui, Xiongyi and DeDonato, Mathew and Du, Ruixiang and Feng, Siyuan and Franklin, Perry and others},
  booktitle = {The {DARPA} {Robotics} {Challenge} {Finals}: Humanoid Robots to the Rescue},
  editor = {Spenko, Matthew and Buerger, Stephen and Iagnemma, Karl},
  series = {Springer Tracts in Advanced Robotics},
  volume = {121},
  pages = {667--684},
  year = {2018},
  publisher = {Springer},
  doi = {10.1007/978-3-319-74666-1_17},
  pdf = {https://link.springer.com/content/pdf/10.1007/978-3-319-74666-1_17.pdf}
}

Theses

Li, L. (2022). Optimal Control and Reinforcement Learning for Stochastic Systems under Temporal Logic Specifications [PhD thesis]. Worcester Polytechnic Institute. PDF

BibTeX

@phdthesis{li2022optimal,
  title = {Optimal Control and Reinforcement Learning for Stochastic Systems under Temporal Logic Specifications},
  author = {Li, Lening},
  year = {2022},
  school = {Worcester Polytechnic Institute},
  pdf = {https://digital.wpi.edu/pdfviewer/sx61dq65n}
}

Li, L. (2016). BiRRTOpt: A combined software framework for motion planning applied on Atlas robot [Master’s thesis]. Worcester Polytechnic Institute. PDF

BibTeX

@phdthesis{li2016birrtopt_thesis,
  title = {{BiRRTOpt}: A combined software framework for motion planning applied on {Atlas} robot},
  author = {Li, Lening},
  year = {2016},
  school = {Worcester Polytechnic Institute},
  type = {Master's thesis},
  pdf = {https://digital.wpi.edu/pdfviewer/sn009x88c}
}

Li, L. (2014). Contourlet Transform Based Image Compression [Bachelor’s thesis]. Harbin Institute of Technology.

BibTeX

@phdthesis{li2014contourlet,
  title = {Contourlet Transform Based Image Compression},
  author = {Li, Lening},
  year = {2014},
  school = {Harbin Institute of Technology},
  type = {Bachelor's thesis}
}

Li, L. (2014). A Study on the Male Chauvinism in "Women in Love" [Bachelor’s thesis]. Harbin Institute of Technology.

BibTeX

@phdthesis{li2014study,
  title = {A Study on the Male Chauvinism in "Women in Love"},
  author = {Li, Lening},
  year = {2014},
  school = {Harbin Institute of Technology},
  type = {Bachelor's thesis}
}