Task Specification Using Technical Illustrations.

Norihiro Abe Katsumi Ohno Tadahiro Kitahashi Shoujie He

Published in: ICRA (2) (1993)

Keyphrases

wide variety
step by step instructions
formal methods
formal specification
high level
formal verification
specification language
provably correct
learning algorithm
modelling language
conceptual model
information technology
expert systems
multiscale
website
decision making
artificial intelligence