Publications

  • ArXiv
    • Abhishek N. Kulkarni, Jie Fu, “Opportunistic Synthesis in Reactive Games under Information Asymmetry”, arXiv:1906.05847v1 [cs.FL], Jun. 2019 .
    • Lening Li, Jie Fu, “Topological Approximate Dynamic Programming under Temporal Logic Constraints”, arXiv:1907.10510v1 [math.OC], Jun. 2019.
    • Renato Gasoto, Miles Macklin, Xuan Liu, Yinan Sun, Kenny Erleben, Cagdas Onal, Jie Fu, “A Validated Physical Model For Real-Time Simulation of Soft Robotic Snakes”, arXiv:1904.02833v1 [cs.RO], Apr. 2019.
    • Lening Li, Jie Fu, “Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints”, arXiv:1810.02199 [math.OC], Oct. 2018.
    • Xuan Liu, Jie Fu, “Compositional Planning in Markov Decision Process: Temporal abstraction meets generalized logic composition”, arXiv:1810.02497 [math.OC], Oct. 2018.
  • Conference Papers

    • Abhishek N. Kulkarni, Jie Fu, “Opportunistic Synthesis in Reactive Games under Information Asymmetry”, Accepted by IEEE International Conference on Decision and Control (CDC), 2019.
    • Lening Li, Jie Fu, “Topological Approximate Dynamic Programming under Temporal Logic Constraints”, Accepted by IEEE International Conference on Decision and Control (CDC), 2019.
    • Renato Gasoto, Miles Macklin, Xuan Liu, Yinan Sun, Kenny Erleben, Cagdas Onal, Jie Fu, “A Validated Physical Model For Real-Time Simulation of Soft Robotic Snakes”, Accepted by IEEE International Conference on Robotics and Automation (ICRA), 2019.
    • Lening Li, Jie Fu, “Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints”, Accepted by American Control Conference (ACC), 2019.
    • Xuan Liu, Jie Fu, “Compositional Planning in Markov Decision Process: Temporal abstraction meets generalized logic composition”, Accepted by American Control Conference (ACC), 2019.
    • Luyao Niu, Jie Fu, Andrew Clark, “Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks ”, IEEE Conference on Decision and Control (CDC), 2018.
    • Abhishek N. Kulkarni, Jie Fu, “A Compositional Approach to Reactive Games under Temporal Logic Specifications”, American Control Conference (ACC), 2018.
    • Lening Li, Jie Fu,  “Sampling-based approximate optimal temporal logic planning”. In IEEE International Conference on Robotics and Automation (ICRA), pp. 1328-1335, 2017.