Automatic synthesis of reactive agents.

Insu Song, Guido Governatori, Joachim Diederich

Browse the full ICARCV paper archive.