http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories

Leofante, Francesco (Corresponding author)^RWTH*

In
The Thirty-Second AAAI Conference on Artificial Intelligence, the Thirtieth Innovative Applications of Artificial Intelligence Conference, the Eighth AAAI Symposium on Educational Advances in Artificial Intelligence : New Orleans, Louisiana USA - February 2-7, 2018 / sponsored by the Association for the Advancement of Artificial Intelligence, Seiten/Artikel-Nr: 8020-8021

2018

Konferenz/Event:32. AAAI Conference on Artificial Intelligence , New Orleans, LA , USA , 2018-02-02 - 2018-02-07

Konferenz/Event:30. Innovative Applications of Artificial Intelligence Conference 8. AAAI Symposium on Educational Advances in Artificial Intelligence , New Orleans, LA New Orleans, LA , USA USA , 2018-02-02 - 2018-02-07 2018-02-02 - 2018-02-07

Umfang8020-8021

ISBN978-1-57735-800-8

Online
URL: https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16178

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

Externer link:

Volltext

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85055686917
WOS Core Collection: WOS:000485488908027

Interne Identnummern
RWTH-2019-09134
Datensatz-ID: 767882

Beteiligte Länder
Germany, Italy