185 citations · 185 across the 2 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety
Eric S. Kim, Murat Arcak, Sanjit A. Seshia +2
Distributed controllers are often necessary for a multi-agent system to satisfy safety properties such as collision avoidance. Communication and coordination are key requirements i…
cs.AI2018
Reliable Intersection Control in Non-cooperative Environments
Muhammed O. Sayin, Chung-Wei Lin, Shinichi Shiraishi +1
We propose a reliable intersection control mechanism for strategic autonomous and connected vehicles (agents) in non-cooperative environments. Each agent has access to his/her earl…