StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems.
Yixiao LinSayan MitraPublished in: LCTES (2015)
Keyphrases
- robotic systems
- mobile robot
- distributed systems
- vision system
- autonomous robots
- distributed environment
- control architecture
- cooperative
- indoor environments
- programming language
- multi robot
- imitation learning
- modular robots
- peer to peer
- computer vision
- object oriented programming
- robotic manipulator
- search and rescue
- model checking
- programming environment
- artificial intelligence
- master slave
- data mining
- real time