Transputer architectures for sensing in a robot controller: Formal methods for design.

Penny J. Probert D. Djian Huosheng Hu

Published in: Concurr. Pract. Exp. (1991)

Keyphrases

formal methods
real time
artificial intelligence
formal analysis
mobile robot
knowledge based systems
model checking
controller design
case study
building blocks
software architecture
formal specification
formal specification language
control system
data model
machine learning
databases