Opfer, Stephan ; Geihs, Kurt ; Niemczyk, Stefan (2016):
Multi-Agent Plan Verification with Answer Set Programming.
In: ACM Workshop on Model-Driven Robot Software Engineering (MORSE),
ACM, [Conference or Workshop Item]
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2016 |
| Creators: | Opfer, Stephan ; Geihs, Kurt ; Niemczyk, Stefan |
| Title: | Multi-Agent Plan Verification with Answer Set Programming |
| Language: | English |
| Book Title: | ACM Workshop on Model-Driven Robot Software Engineering (MORSE) |
| Publisher: | ACM |
| Divisions: | LOEWE LOEWE > LOEWE-Schwerpunkte LOEWE > LOEWE-Schwerpunkte > NiCER – Networked infrastructureless Cooperation for Emergency Response |
| Date Deposited: | 15 Aug 2017 13:25 |
| Identification Number: | o16 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum