Show simple item record

Workshop program

date accessioned2020-03-12T20:22:10Z
date available2020-03-12T20:22:10Z
date issued2014
identifier other6865885.pdf
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/1011995?show=full
formatgeneral
languageEnglish
publisherIEEE
titleWorkshop program
typeConference Paper
contenttypeMetadata Only
identifier padid8134680
subject keywordscontrol system synthesis
subject keywordsdiscrete systems
subject keywordshumanoid robots
subject keywordspath planning
subject keywordstemporal logic
subject keywordstrees (mathematics)
subject keywordsBT
subject keywordsLTL specification
subject keywordsNAO robot
subject keywordsautonomous robot action planning
subject keywordsball dropping action
subject keywordsball grasping action
subject keywordsbehavior trees
subject keywordshigh-level planning layer
subject keywordslinear temporal logic
subject keywordsmanipulation task
subject keywordsmaximally satisfying LTL action planning
subject keywordsmaximally satisfying discrete control strategy
subject keywordsreactive middle-layer formalism
subject keywordsrobot action executions
subject keywordsrobot low-level controller
subject keywordssimple motion
identifier doi10.1109/IROS.2014.6942755
journal titleetrology for Aerospace (MetroAeroSpace), 2014 IEEE
filesize215991
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record