Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology.
Ana CavalcantiPublished in: ABZ (2020)
Keyphrases
- simulation model
- simulation tools
- case study
- real time
- simulation models
- simulation environment
- st century
- rapid development
- model checking
- cost effective
- data processing
- real robot
- numerical simulations
- mobile robot
- artificial intelligence
- technological advances
- database
- experimental platform
- heterogeneous platforms
- multi agent based simulation