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}
   }