Dissertationen
Permanent URI for this collectionhttps://kobra.uni-kassel.de/handle/123456789/200603087264
Browse
3 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 A Self-Organising Multi-Agent Knowledge Base(2021-12) Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik; Geihs, Kurt (Prof. Dr.); Steinmetz, Ralf (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.)