Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories

(2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

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
Seite(n): 8020-8021

Autorinnen und Autoren

Autorinnen und Autoren

Leofante, Francesco

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-09134