91 citations · 273 across the 67 of their papers we have counts for
Showing 2018 · eess.SYShow all
2 papers · 2 filters
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…
eess.SY2018
Context-Specific Validation of Data-Driven Models
Somil Bansal, Shromona Ghosh, Alberto Sangiovanni-Vincentelli +2
With an increasing use of data-driven models to control robotic systems, it has become important to develop a methodology for validating such models before they can be deployed to…