Follow
Eric S Kim
Eric S Kim
Waymo
Verified email at waymo.com
Title
Cited by
Cited by
Year
A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications
D Sadigh, ES Kim, S Coogan, SS Sastry, SA Seshia
53rd IEEE Conference on Decision and Control, 1091-1096, 2014
1602014
Compositional controller synthesis for vehicular traffic networks
ES Kim, M Arcak, SA Seshia
2015 54th IEEE Conference on Decision and Control (CDC), 6165-6171, 2015
512015
A small gain theorem for parametric assume-guarantee contracts
ES Kim, M Arcak, SA Seshia
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
342017
Offset optimization in signalized traffic networks via semidefinite relaxation
S Coogan, E Kim, G Gomes, M Arcak, P Varaiya
Transportation Research Part B: Methodological 100, 82-92, 2017
312017
Directed specifications and assumption mining for monotone dynamical systems
ES Kim, M Arcak, SA Seshia
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
292016
Constructing control system abstractions from modular components
ES Kim, M Arcak, M Zamani
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
282018
Symbolic control design for monotone systems with directed specifications
ES Kim, M Arcak, SA Seshia
Automatica 83, 10-19, 2017
282017
Sparsity-aware finite abstraction
F Gruber, ES Kim, M Arcak
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2366-2371, 2017
202017
Dynamic contracts for distributed temporal logic control of traffic networks
ES Kim, S Sadraddini, C Belta, M Arcak, SA Seshia
2017 IEEE 56th Annual Conference on Decision and Control (CDC), 3640-3645, 2017
202017
Memoryless control design for persistent surveillance under safety constraints
E Arvelo, E Kim, NC Martins
arXiv preprint arXiv:1209.5805, 2012
122012
Offset optimization for a network of signalized intersections via semidefinite relaxation
S Coogan, G Gomes, ES Kim, M Arcak, P Varaiya
2015 54th IEEE Conference on Decision and Control (CDC), 2187-2192, 2015
112015
Offset optimization of signalized intersections via the burer-monteiro method
ES Kim, CJ Wu, R Horowitz, M Arcak
2017 American Control Conference (ACC), 3554-3559, 2017
82017
Synthesis of symbolic controllers: A parallelized and sparsity-aware approach
M Khaled, ES Kim, M Arcak, M Zamani
International Conference on Tools and Algorithms for the Construction and …, 2019
72019
Maximal persistent surveillance under safety constraints
E Arvelo, E Kim, NC Martins
2013 IEEE International Conference on Robotics and Automation, 4048-4053, 2013
52013
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis
ES Kim, M Arcak, SA Seshia
International Conference on Computer Aided Verification, 591-608, 2019
12019
Abstractions for symbolic controller synthesis are composable
ES Kim, M Arcak
arXiv preprint arXiv:1807.09973, 2018
12018
Concealment system for improved safe driving
S Shiraishi, E Kim, T Masuda
US Patent 11,186,289, 2021
2021
Constructive Formal Control Synthesis through Abstraction and Decomposition
ES Kim
University of California, Berkeley, 2019
2019
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety
ES Kim, M Arcak, SA Seshia, BG Kim, S Shiraishi
arXiv preprint arXiv:1804.04345, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–19