SMT-based Planning for Robots in Smart Factories

Cham / Springer (2019) [Contribution to a book, Contribution to a conference proceedings]

Advances and trends in artificial intelligence : from theory to practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019 : proceedings / Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali (eds.)
Page(s): 674-686



Bit-Monnot, Arthur
Leofante, Francesco
Pulina, Luca
Tacchella, Armando