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 Situative Teams in Cooperative Autonomous Systems(2023) Kassel, Universität Kassel, Fachbereich Maschinenbau, Institut für Thermische Energietechnik; Geihs, Kurt (Prof. Dr.); Herrmann, Peter (Prof. Dr.)