Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design.

Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo

Browse the full DATE paper archive.