OSI Testing Environment Based on the Standardized Formalisms.

Kotaro Katsuyama Fumiaki Sato Tetsuo Nakakawaji Tadanori Mizuno

Published in: FORTE (1990)

Keyphrases

mobile robot
real time
computing environments
object oriented
mobile robotics
nonmonotonic reasoning
robotic systems
autonomous agents
test cases
dynamic environments
logic programming
bayesian networks
case study
website
computer vision
neural network
data sets