A Template System for Modeling and Verifying Agent Behaviors.

Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi

Browse the full PRIMA paper archive.