Tianjun Liao
- Hierarchical Motion Planning under Probabilistic Temporal Tasks and Safe-Return Constraints
2023/02/10 by Meng Guo, Guo, Meng, Tianjun Liao +5 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic, programming, and type systems #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering