Synthesis of Distributed Control through Knowledge Accumulation.

Gal Katz, Doron A. Peled, Sven Schewe

Browse the full CAV paper archive.