Search Results - "formal methods in robotics and automation"

Optimal Probabilistic Motion Planning With Potential Infeasible LTL Constraints by Cai, Mingyu, Xiao, Shaoping, Li, Zhijun, Kan, Zhen

“…This paper studies optimal motion planning subject to motion and environment uncertainties…”
Get full text

Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks by Pacheck, Adam, Kress-Gazit, Hadas

“…A typical approach to creating complex robot behaviors is to compose atomic controllers, or skills, such that the resulting behavior satisfies a high-level…”
Get full text

Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates by Buyukkocak, Ali Tevfik, Aksaray, Derya, Yazcoglu, Yasin

“… In order to generate optimal trajectories, we formulate a mixed-integer linear program whose objective is minimizing the agent movement subject to the heterogeneous abstracted dynamics of the agents…”
Get full text