Shinichi Shiraishi (Toyota InfoTechnology Center

Identifiers

No identifiers captured yet.

Papers (1)

1. Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety cs.SY · 2018 · author #9

Mentions

No mention provenance yet.

Frequent Coauthors

• BaekGyu Kim (Toyota InfoTechnology Center 1 shared papers
• Berkeley) 1 shared papers
• Eric S. Kim (University of California 1 shared papers
• Murat Arcak (University of California 1 shared papers
• Sanjit A. Seshia (University of California 1 shared papers
• U.S.A.) 1 shared papers