Deadlock- and Starvation-free Formally Verified Client Library for Robots.
Yuuki TakanoPublished in: ICSRS (2023)
Keyphrases
- mobile robot
- multi robot
- client server
- cooperative
- databases
- autonomous systems
- tactile sensing
- robotic agents
- database
- robot soccer
- autonomous mobile robots
- human robot interaction
- industrial robots
- real world environments
- imitation learning
- multi robot systems
- human robot
- autonomous robots
- robotic systems
- distributed systems
- real time