Sampling-based algorithms for optimal motion planning with deterministic μ-calculus specifications

Automatic generation of control programs that satisfy complex task specifications given in high-level specification languages such as temporal logics has been studied extensively. However, optimality of such control programs, for instance with respect to a cost function, has received relatively litt...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2012 American Control Conference (ACC) s. 735 - 742
Hlavní autori: Karaman, S., Frazzoli, E.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.06.2012
Predmet:
ISBN:9781457710957, 1457710951
ISSN:0743-1619
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.