A Description and Reasoning of Plant Controllers in Temporal Logic.

Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi

Browse the full IJCAI paper archive.