Iterative temporal planning in uncertain environments with partial satisfaction guarantees

This paper introduces a motion-planning framework for a hybrid system with general continuous dynamics to satisfy a temporal logic specification consisting of cosafety and safety components in a partially unknown environment. The framework employs a multilayered synergistic planner to generate traje...

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Lahijanian, M, Maly, MR, Fried, D, Kavraki, LE, Kress-Gazit, H, Vardi, MY
Ձևաչափ: Journal article
Հրապարակվել է: Institute of Electrical and Electronics Engineers 2016