11 citations · 12 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
eess.SY2018★ 1 cited
Abstractions for Symbolic Controller Synthesis are Composable
Eric S. Kim, Murat Arcak
Translating continuous control system models into finite automata allows us to use powerful discrete tools to synthesize controllers for complex specifications. The abstraction con…
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…