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 journal › Conference article › peer-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