An Approach for Verifying Educational Robots.
Sidney C. NogueiraTaciana Pontual FalcãoAlexandre MotaEmanuel OliveiraItamar MoraesIverson PereiraPublished in: SBMF (2016)
Keyphrases
- educational technology
- multi robot
- robotic systems
- mobile robot
- cooperative
- model checking
- e learning
- industrial robots
- human robot
- technology enhanced learning
- distance education
- artificial intelligence
- robot soccer
- learning analytics
- robotic agents
- learning technologies
- autonomous systems
- interactive learning
- web based learning
- humanoid robot
- case study
- human robot interaction
- educational institutions
- multi agent
- multimedia
- multiple robots
- search and rescue
- educational activities
- formal education
- pilot project
- lego mindstorms
- learning community