Planning and Specification Problems for Multi-Robot Systems, Powered by Formal Methods
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Technische Universität Kaiserslautern, Dissertation, 2022
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern
- (wann)
-
2022
- Urheber
- Beteiligte Personen und Organisationen
-
Majumdar, Rupak
- DOI
-
10.26204/KLUEDO/6863
- URN
-
urn:nbn:de:hbz:386-kluedo-68637
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gavran, Ivan
- Majumdar, Rupak
- Technische Universität Kaiserslautern
Entstanden
- 2022
Ähnliche Objekte (12)
Creating an openSUSE Powered Robot
Build and control a Python-powered robot.
Planning for Human-Robot Interaction
Robot motion planning and control
Bredon Cohomology and Robot Motion Planning
Formal specification : techniques and applications
Formal specification of CSCW applications
Formal systems specification : the RPC-memory specification case study
Robot motion planning in time varying environments
Randomized Parallel Motion Planning for Robot Manipulators
Vision assisted biasing for robot manipulation planning
Geometric Computing for Simulation-Based Robot Planning
Creating an openSUSE Powered Robot
Build and control a Python-powered robot.
Planning for Human-Robot Interaction
Robot motion planning and control
Bredon Cohomology and Robot Motion Planning
Formal specification : techniques and applications
Formal specification of CSCW applications
Formal systems specification : the RPC-memory specification case study
Robot motion planning in time varying environments
Randomized Parallel Motion Planning for Robot Manipulators
Vision assisted biasing for robot manipulation planning
Geometric Computing for Simulation-Based Robot Planning
Creating an openSUSE Powered Robot
Build and control a Python-powered robot.
Planning for Human-Robot Interaction
Robot motion planning and control
Bredon Cohomology and Robot Motion Planning
Formal specification : techniques and applications
Formal specification of CSCW applications
Formal systems specification : the RPC-memory specification case study
Robot motion planning in time varying environments
Randomized Parallel Motion Planning for Robot Manipulators
Vision assisted biasing for robot manipulation planning