Dissertationen
Permanent URI for this collectionhttps://kobra.uni-kassel.de/handle/123456789/200603087264
Browse
4 results
Search Results
Item Formal Verification for ALICA Plans(2021) Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik; Geihs, Kurt (Prof. Dr.); Thanh Vinh, Phan (Prof. Dr.)Item Self-Healing in Autonomous Robot Teams(2017-05-24) Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik; Geihs, Kurt (Prof. Dr.); Hähner, Jörg (Prof. Dr.); Stumme, Gerd (Prof. Dr.); Kroll, Andreas (Prof. Dr.)Item Planning of Autonomous and Mobile Robots in Dynamic Environments(2018-11) Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik; Geihs, Kurt (Prof. Dr.); Zapf, Michael (Prof. Dr.)Item Symbolic Representation of Dynamic Knowledge for Robotic Teams(2020-11) Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik; Geihs, Kurt (Prof. Dr.); Nardi, Daniele (Prof. Dr.)