Last modified date: 04/16/2023

Under review

  1. Li, L., & Qian, Z. (2023). Topological Guided Actor-Critic Modular Learning of Continuous Systems with Temporal Objectives. [pdf]
    @preprint{li2023topological,
      title = {Topological Guided Actor-Critic Modular Learning of Continuous Systems with Temporal Objectives},
      author = {Li, Lening and Qian, Zhentian},
      year = {2023},
      pdf = {https://arxiv.org/abs/2304.10041}
    }
    
  2. Li, L., & Fu, J. (2021). Policy synthesis for metric interval temporal logic with probabilistic distributions. In arXiv preprint arXiv:2105.04593. [pdf]
    @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}
    }
    

Conference

  1. Lening Li, J. F., Hazhar Rahmani. (2023). Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives. 32nd International Joint Conference on Artificial Intelligence. [pdf]
    @inproceedings{lening2023probabilistic,
      title = {Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives},
      author = {Lening Li, Hazhar Rahmani, Jie Fu},
      booktitle = {32nd International Joint Conference on Artificial Intelligence},
      year = {2023},
      pdf = {https://arxiv.org/abs/2304.11641}
    }
    
  2. Li, L., Ma, H., Han, S., & Fu, J. (2022). Synthesis of Proactive Sensor Placement In Probabilistic Attack Graphs. ArXiv Preprint ArXiv:2210.07385. [pdf]
    @inproceedings{li2022synthesis,
      title = {Synthesis of Proactive Sensor Placement In Probabilistic Attack Graphs},
      author = {Li, Lening and Ma, Haoxiang and Han, Shuo and Fu, Jie},
      journal = {arXiv preprint arXiv:2210.07385},
      year = {2022},
      pdf = {https://arxiv.org/pdf/2210.07385}
    }
    
  3. Li, L., & Fu, J. (2019). Topological approximate dynamic programming under temporal logic constraints. 2019 IEEE 58th Conference on Decision and Control (CDC), 5330–5337. [pdf]
    @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},
      pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9029959}
    }
    
  4. Li, L., & Fu, J. (2019). Approximate dynamic programming with probabilistic temporal logic constraints. 2019 American Control Conference (ACC), 1696–1703. [pdf]
    @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},
      pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8815215}
    }
    
  5. Li, L., & Fu, J. (2017). Sampling-based approximate optimal temporal logic planning. 2017 IEEE International Conference on Robotics and Automation (ICRA), 1328–1335. [pdf]
    @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},
      pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7989157}
    }
    
  6. 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. [pdf]
    @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},
      pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7803317}
    }
    
  7. 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. [pdf]
    @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},
      pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7363436}
    }
    

Journal

  1. Li, L., Ma, H., Kulkarni, A. N., & Fu, J. (2022). Dynamic hypergames for synthesis of deceptive strategies with temporal logic objectives. IEEE Transactions on Automation Science and Engineering. [pdf]
    @article{li2022dynamic,
      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},
      year = {2022},
      publisher = {IEEE},
      pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9716225}
    }
    
  2. Chen, Z., Li, L., & Huang, X. (2018). Building an autonomous lane keeping simulator using real-world data and end-to-end learning. IEEE Intelligent Transportation Systems Magazine, 12(1), 47–59. [pdf]
    @article{chen2018building,
      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 = {2018},
      publisher = {IEEE},
      pdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8533357}
    }
    
  3. 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. [pdf]
    @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 Online Library},
      pdf = {https://onlinelibrary.wiley.com/doi/epdf/10.1002/rob.21685}
    }
    

Book

  1. 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 The DARPA Robotics Challenge Finals: Humanoid Robots To The Rescue (pp. 271–307). Springer. [pdf]
    @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},
      journal = {The DARPA Robotics Challenge Finals: Humanoid Robots To The Rescue},
      pages = {271--307},
      year = {2018},
      publisher = {Springer},
      pdf = {https://link.springer.com/content/pdf/10.1007/978-3-319-74666-1_8.pdf?pdf=inline%20link}
    }
    
  2. 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 The DARPA robotics challenge finals: Humanoid robots to the rescue (pp. 667–684). Springer. [pdf]
    @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},
      journal = {The DARPA robotics challenge finals: Humanoid robots to the rescue},
      pages = {667--684},
      year = {2018},
      publisher = {Springer},
      pdf = {https://link.springer.com/content/pdf/10.1007/978-3-319-74666-1_17.pdf?pdf=inline%20link}
    }
    

Thesis

  1. Li, L. (2022). Optimal Control and Reinforcement Learning for Stochastic Systems under Temporal Logic Specifications [PhD thesis]. Worcester Polytechnic Institute. [pdf]
    @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}
    }
    
  2. Li, L. (2016). Birrtopt: A combined software framework for motion planning applied on atlas robot [Master’s thesis]. Worcester Polytechnic Institute. [pdf]
    @phdthesis{li2016birrtopu,
      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}
    }
    
  3. Li, L. (2014). Contourlet Transform Based Image Compression [Bachelor’s thesis]. Harbin Institute of Technology.
    @phdthesis{li2014contourlet,
      title = {Contourlet Transform Based Image Compression},
      author = {Li, Lening},
      year = {2014},
      school = {Harbin Institute of Technology},
      type = {Bachelor's thesis}
    }
    
  4. Li, L. (2014). A Study on the Male Chauvinism in "Women in Love" [Bachelor’s thesis]. Harbin Institute of Technology.
    @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}
    }