Eric S. Kim - RankMe

20 papers C 2Journal 5Unranked 12

Year	Rank	Type	Title / Venue / Authors
2019	—	`—`	Constructive Formal Control Synthesis through Abstraction and Decomposition. Eric S. Kim
2019	—	`conf`	Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CAV (1) Eric S. Kim, Murat Arcak, Sanjit A. Seshia
2019	J	`jnl`	Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CoRR Eric S. Kim, Murat Arcak, Sanjit A. Seshia
2019	—	`conf`	Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. TACAS (2) Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
2018	J	`jnl`	Abstractions for Symbolic Controller Synthesis are Composable. CoRR Eric S. Kim, Murat Arcak
2018	—	`conf`	Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. SCAV@CPSWeek Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi
2018	—	`conf`	Constructing Control System Abstractions from Modular Components. HSCC Eric S. Kim, Murat Arcak, Majid Zamani
2018	—	`conf`	Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. HSCC Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani
2017	—	`conf`	A Small Gain Theorem for Parametric Assume-Guarantee Contracts. HSCC Eric S. Kim, Murat Arcak, Sanjit A. Seshia
2017	—	`conf`	Dynamic contracts for distributed temporal logic control of traffic networks. CDC Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia
2017	C	`conf`	Offset optimization of signalized intersections via the Burer-Monteiro method. ACC Eric S. Kim, Cheng-Ju Wu, Roberto Horowitz, Murat Arcak
2017	J	`jnl`	Sparsity-Sensitive Finite Abstraction. CoRR Felix Gruber, Eric S. Kim, Murat Arcak
2017	—	`conf`	Sparsity-aware finite abstraction. CDC Felix Gruber, Eric S. Kim, Murat Arcak
2017	J	`jnl`	Symbolic control design for monotone systems with directed specifications. Autom. Eric S. Kim, Murat Arcak, Sanjit A. Seshia
2016	C	`conf`	Assume-guarantee contracts and controller synthesis for vehicular traffic networks. ACC Eric S. Kim, Murat Arcak, Sanjit A. Seshia
2016	—	`conf`	Directed Specifications and Assumption Mining for Monotone Dynamical Systems. HSCC Eric S. Kim, Murat Arcak, Sanjit A. Seshia
2015	—	`conf`	Compositional controller synthesis for vehicular traffic networks. CDC Eric S. Kim, Murat Arcak, Sanjit A. Seshia
2015	—	`conf`	Offset optimization for a network of signalized intersections via semidefinite relaxation. CDC Samuel Coogan, Gabriel Gomes, Eric S. Kim, Murat Arcak, Pravin Varaiya
2014	J	`jnl`	A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. CoRR Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia
2014	—	`conf`	A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. CDC Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia