Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2022
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern
- (when)
-
2022
- Creator
- Contributor
-
Majumdar, Rupak
- DOI
-
10.26204/KLUEDO/6863
- URN
-
urn:nbn:de:hbz:386-kluedo-68637
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Gavran, Ivan
- Majumdar, Rupak
- Technische Universität Kaiserslautern
Time of origin
- 2022
Other Objects (12)
Formal Modelling for Multi-Robot Systems Under Uncertainty
Distributed multi-robot exploration
Distributed Multi-Robot Exploration
Redundancy in robot manipulators and multi-robot systems
Intelligent multi-robot collaborative transport system
Coordination of Cooperative Multi-Robot Teams
Source Localization on Multi-Robot Systems
Symbiotic multi-robot organisms : reliability, adaptability, evolution
Communicative exploration : a multi-robot exploration approach
Comparison of multi-robot task allocation algorithms
Action Selection in Cooperative Multi-Robot Systems
Scalable time-constrained planning of multi-robot systems
Formal Modelling for Multi-Robot Systems Under Uncertainty
Distributed multi-robot exploration
Distributed Multi-Robot Exploration
Redundancy in robot manipulators and multi-robot systems
Intelligent multi-robot collaborative transport system
Coordination of Cooperative Multi-Robot Teams
Source Localization on Multi-Robot Systems
Symbiotic multi-robot organisms : reliability, adaptability, evolution
Communicative exploration : a multi-robot exploration approach
Comparison of multi-robot task allocation algorithms
Action Selection in Cooperative Multi-Robot Systems
Scalable time-constrained planning of multi-robot systems
Formal Modelling for Multi-Robot Systems Under Uncertainty
Distributed multi-robot exploration
Distributed Multi-Robot Exploration
Redundancy in robot manipulators and multi-robot systems
Intelligent multi-robot collaborative transport system
Coordination of Cooperative Multi-Robot Teams
Source Localization on Multi-Robot Systems
Symbiotic multi-robot organisms : reliability, adaptability, evolution
Communicative exploration : a multi-robot exploration approach
Comparison of multi-robot task allocation algorithms
Action Selection in Cooperative Multi-Robot Systems