SMT-based Planning for Robots in Smart Factories

Bit-Monnot, Arthur (Corresponding author); Leofante, Francesco; Pulina, Luca; Tacchella, Armando

Cham : Springer (2019)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 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.)
Seite(n)/Artikel-Nr.: 674-686