Guaranteed Plans for Multi-Robot Systems via Optimization Modulo Theories

Leofante, Francesco (Corresponding author)

(2018) [Contribution to a book, Contribution to a conference proceedings]

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
Page(s): 8020-8021


  • REPORT NUMBER: RWTH-2019-09134