| 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 | 183 | 2014 |
| 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 | 53 | 2015 |
| 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 | 36 | 2017 |
| 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 | 34 | 2017 |
| 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 | 30 | 2016 |
| Constructing control system abstractions from modular components ES Kim, M Arcak, M Zamani Proceedings of the 21st International Conference on Hybrid Systems …, 2018 | 28 | 2018 |
| Symbolic control design for monotone systems with directed specifications ES Kim, M Arcak, SA Seshia Automatica 83, 10-19, 2017 | 27 | 2017 |
| 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 | 23 | 2017 |
| Sparsity-aware finite abstraction F Gruber, ES Kim, M Arcak 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2366-2371, 2017 | 20 | 2017 |
| Everything you wanted to know about the kernel trick (but were too afraid to ask) E Kim Dostopno na: http://www. eric-kim. net/eric-kim-net/posts/1/kernel_trick. html, 2013 | 17 | 2013 |
| 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 | 12 | 2015 |
| Memoryless control design for persistent surveillance under safety constraints E Arvelo, E Kim, NC Martins arXiv preprint arXiv:1209.5805, 2012 | 11 | 2012 |
| 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 | 9 | 2017 |
| Synthesis of symbolic controllers: A parallelized and sparsity-aware approach M Khaled, ES Kim, M Arcak, M Zamani Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 8 | 2019 |
| Maximal persistent surveillance under safety constraints E Arvelo, E Kim, NC Martins 2013 IEEE International Conference on Robotics and Automation, 4048-4053, 2013 | 3 | 2013 |
| Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis ES Kim, M Arcak, SA Seshia Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 1 | 2019 |
| Abstractions for symbolic controller synthesis are composable ES Kim, M Arcak arXiv preprint arXiv:1807.09973, 2018 | 1 | 2018 |
| 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 |
Murat ArcakProfessor of Electrical Engineering and Computer ScienceBestätigte E-Mail-Adresse bei eecs.berkeley.edu
