A formal framework for design and verification of robotic agents.
Kasilingam PeriyasamyVangalur S. AlagarTien D. BuiPublished in: J. Intell. Robotic Syst. (1993)
Keyphrases
- conceptual framework
- robotic agents
- building blocks
- main contribution
- design process
- design principles
- software suite
- architectural design
- formal methods
- optimal design
- computational framework
- design tools
- software architecture
- lightweight
- probabilistic model
- user interface
- engineering design
- real world
- theoretical framework
- feature selection