Eric S. Kim

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 17

Top Topics

Controller Synthesis

Markov Decision Processes

Top Venues

Publications

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