To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments

1 April 2022

Papers citing "To Explore or Not to Explore: Regret-Based LTL Planning in Partially-Known Environments"

2 / 2 papers shown

Title
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 39 18 0 20 Feb 2024
Optimal Probabilistic Motion Planning with Potential Infeasible LTL Constraints Mingyu Cai Shaoping Xiao Zhijun Li Z. Kan 32 40 0 28 Jul 2020