Synthesizing Robust Systems

by Roderick Bloem , Karin Greimel , Thomas A. Henzinger , Barbara Jobstmann
Citations:16 - 4 self