Reverse Engineering of Middleware for Verification of Robot Control Architectures.
Ali KhaliliLorenzo NataleArmando TacchellaPublished in: CoRR (2014)
Keyphrases
- reverse engineering
- robot control
- subsumption architecture
- software engineering
- mobile robot
- software maintenance
- autonomous robots
- unstructured environments
- motion control
- object oriented
- dynamic analysis
- reverse engineer
- program understanding
- model checking
- gene regulatory networks
- reinforcement learning
- formal verification
- legacy systems
- artificial neural networks
- conceptual schema
- real time
- neural network
- web services
- data fusion
- software systems
- web applications
- open source
- expert systems