![](/img/cover-not-exists.png)
[ACM Press the 3rd Workshop - Leipzig, Germany (2016.07.01-2016.07.01)] Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering - MORSE '16 - Multi-Agent Plan Verification with Answer Set Programming
Opfer, Stephan, Niemczyk, Stefan, Geihs, KurtYear:
2016
Language:
english
DOI:
10.1145/3022099.3022104
File:
PDF, 295 KB
english, 2016