External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Multi-Agent Plan Verification with Answer Set Programming

Stephan Opfer, Stefan Niemczyk, Kurt Geihs. Multi-Agent Plan Verification with Answer Set Programming. In Uwe Aßmann, Davide Brugali, Christian Piechnick, editors, Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, MORSE@RoboCup 2016, Leipzig, Germany, July 1, 2016. pages 32-39, ACM, 2016. [doi]

Authors

Stephan Opfer

This author has not been identified. Look up 'Stephan Opfer' in Google

Stefan Niemczyk

This author has not been identified. Look up 'Stefan Niemczyk' in Google

Kurt Geihs

This author has not been identified. Look up 'Kurt Geihs' in Google
runs on