Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.

Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki

Browse the full ICSE paper archive.