From Formal Methods to Algorithmic Implementation of Human Inspired Control on Bipedal Robots.
Shishir Nadubettu YadukumarMurali PasupuletiAaron D. AmesPublished in: WAFR (2012)
Keyphrases
- formal methods
- autonomous robots
- robot behavior
- human operators
- formal specification language
- robot control
- formal analysis
- human robot
- model checking
- humanoid robot
- knowledge based systems
- industrial robots
- safety critical
- human robot interaction
- mobile robot
- robotic systems
- software engineering
- process algebra
- control system
- legged robots
- artificial agents
- model checker
- artificial intelligence
- inverted pendulum
- formal specification
- human users
- cooperative
- temporal logic
- protocol specification
- quadruped robot