Understanding and Planning Event-B Refinement through Primitive Rationales.

Tsutomu Kobayashi Fuyuki Ishikawa Shinichi Honiden

Published in: ABZ (2014)

Keyphrases

event detection
planning problems
technical systems
high level
heuristic search
temporal patterns
stochastic domains
artificial intelligence
website
mobile robot
domain specific
higher level
domain independent
motion planning
deeper understanding
mixed initiative