A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. - Dorsa Sadigh; Eric S. Kim; Samuel Coogan 001; S. Shankar Sastry; Sanjit A. Seshia (CDC, 2014)

Offset optimization for a network of signalized intersections via semidefinite relaxation. - Samuel Coogan 001; Gabriel Gomes; Eric S. Kim; Murat Arcak; Pravin Varaiya (CDC, 2015)

Compositional controller synthesis for vehicular traffic networks. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (CDC, 2015)

Assume-guarantee contracts and controller synthesis for vehicular traffic networks. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (ACC, 2016)

Directed Specifications and Assumption Mining for Monotone Dynamical Systems. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (HSCC, 2016)

Offset optimization of signalized intersections via the Burer-Monteiro method. - Eric S. Kim; Cheng-Ju Wu; Roberto Horowitz; Murat Arcak (ACC, 2017)

Sparsity-aware finite abstraction. - Felix Gruber; Eric S. Kim; Murat Arcak (CDC, 2017)

Dynamic contracts for distributed temporal logic control of traffic networks. - Eric S. Kim; Sadra Sadraddini; Calin Belta; Murat Arcak; Sanjit A. Seshia (CDC, 2017)

A Small Gain Theorem for Parametric Assume-Guarantee Contracts. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (HSCC, 2017)

Symbolic control design for monotone systems with directed specifications. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (Autom., 2017)

Sparsity-Sensitive Finite Abstraction. - Felix Gruber; Eric S. Kim; Murat Arcak (CoRR, 2017)

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. - Eric S. Kim; Murat Arcak; Mahmoud Khaled; Majid Zamani 001 (HSCC, 2018)

Constructing Control System Abstractions from Modular Components. - Eric S. Kim; Murat Arcak; Majid Zamani 001 (HSCC, 2018)

Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia; BaekGyu Kim; Shinichi Shiraishi (SCAV@CPSWeek, 2018)

Abstractions for Symbolic Controller Synthesis are Composable. - Eric S. Kim; Murat Arcak (CoRR, 2018)

Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. - Eric S. Kim; Murat Arcak; Sanjit A. Seshia (CAV (1), 2019)

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. - Mahmoud Khaled; Eric S. Kim; Murat Arcak; Majid Zamani 001 (TACAS (2), 2019)

Constructive Formal Control Synthesis through Abstraction and Decomposition. - Eric S. Kim (2019)