Výsledky vyhledávání - "Formal methods in robotics and automation"

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

“…This paper studies optimal motion planning subject to motion and environment uncertainties…”
Získat plný text

Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks Autor 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…”
Získat plný text

Planning of Heterogeneous Multi-Agent Systems Under Signal Temporal Logic Specifications With Integral Predicates Autor 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…”
Získat plný text