Feng, Mingyang
- To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments
2022/04/01 by Jianing Zhao, Zhao, Jianing, Keyi Zhu +4 · 1 citation
Chemistry · Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Robotics (cs.RO) #Synthetic Organic Chemistry Methods #Systems and Control (eess.SY) #electronic engineering #information engineering