Automatic generation of communication requirements for enforcing multi-agent safety

Eric S. Kim, Murat Arcak, Sanjit A. Seshia, Baek Gyu Kim, Shinichi Shiraishi

Research output: Contribution to journalConference articlepeer-review

Fingerprint

Dive into the research topics of 'Automatic generation of communication requirements for enforcing multi-agent safety'. Together they form a unique fingerprint.

Computer Science