Workshop program
Publisher:
Year
: 2014DOI: 10.1109/IROS.2014.6942755
Keyword(s): control system synthesis,discrete systems,humanoid robots,path planning,temporal logic,trees (mathematics),BT,LTL specification,NAO robot,autonomous robot action planning,ball dropping action,ball grasping action,behavior trees,high-level planning layer,linear temporal logic,manipulation task,maximally satisfying LTL action planning,maximally satisfying discrete control strategy,reactive middle-layer formalism,robot action executions,robot low-level controller,simple motion
Collections
:
-
Statistics
Workshop program
Show full item record
| date accessioned | 2020-03-12T20:22:10Z | |
| date available | 2020-03-12T20:22:10Z | |
| date issued | 2014 | |
| identifier other | 6865885.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1011995?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Workshop program | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8134680 | |
| subject keywords | control system synthesis | |
| subject keywords | discrete systems | |
| subject keywords | humanoid robots | |
| subject keywords | path planning | |
| subject keywords | temporal logic | |
| subject keywords | trees (mathematics) | |
| subject keywords | BT | |
| subject keywords | LTL specification | |
| subject keywords | NAO robot | |
| subject keywords | autonomous robot action planning | |
| subject keywords | ball dropping action | |
| subject keywords | ball grasping action | |
| subject keywords | behavior trees | |
| subject keywords | high-level planning layer | |
| subject keywords | linear temporal logic | |
| subject keywords | manipulation task | |
| subject keywords | maximally satisfying LTL action planning | |
| subject keywords | maximally satisfying discrete control strategy | |
| subject keywords | reactive middle-layer formalism | |
| subject keywords | robot action executions | |
| subject keywords | robot low-level controller | |
| subject keywords | simple motion | |
| identifier doi | 10.1109/IROS.2014.6942755 | |
| journal title | etrology for Aerospace (MetroAeroSpace), 2014 IEEE | |
| filesize | 215991 | |
| citations | 0 |