TU Darmstadt / ULB / TUbiblio

Multi-Agent Plan Verification with Answer Set Programming

Opfer, Stephan ; Geihs, Kurt ; Niemczyk, Stefan (2016)
Multi-Agent Plan Verification with Answer Set Programming.
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 2016
Creators: Opfer, Stephan ; Geihs, Kurt ; Niemczyk, Stefan
Type of entry: Bibliographie
Title: Multi-Agent Plan Verification with Answer Set Programming
Language: English
Date: 2016
Publisher: ACM
Book Title: ACM Workshop on Model-Driven Robot Software Engineering (MORSE)
Divisions: LOEWE
LOEWE > LOEWE-Schwerpunkte
LOEWE > LOEWE-Schwerpunkte > NiCER – Networked infrastructureless Cooperation for Emergency Response
Date Deposited: 15 Aug 2017 13:25
Last Modified: 12 Dec 2018 14:05
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details