SMT-based Planning for Robots in Smart Factories. Bit-Monnot, A., Leofante, F., Pulina, L., & Tacchella, A. In Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R., & Ali, M., editors, 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, volume 11606, of Lecture Notes in Computer Science, pages 674–686, 2019. Springer.
SMT-based Planning for Robots in Smart Factories [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/ieaaie/Bit-MonnotLPT19,
  author       = {Arthur Bit{-}Monnot and
                  Francesco Leofante and
                  Luca Pulina and
                  Armando Tacchella},
  editor       = {Franz Wotawa and
                  Gerhard Friedrich and
                  Ingo Pill and
                  Roxane Koitz{-}Hristov and
                  Moonis Ali},
  title        = {SMT-based Planning for Robots in Smart Factories},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {11606},
  pages        = {674--686},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22999-3\_58},
  doi          = {10.1007/978-3-030-22999-3\_58},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/Bit-MonnotLPT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0