Eric S. Kim
发表
Roberto Horowitz,
Murat Arcak,
Eric S. Kim,
2017,
2017 American Control Conference (ACC).
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2019,
CAV.
Eric Shinwon Kim,
Eric S. Kim,
2019
.
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2017,
Autom..
S. Shankar Sastry,
Sanjit A. Seshia,
Dorsa Sadigh,
2014,
53rd IEEE Conference on Decision and Control.
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms
Majid Zamani,
Murat Arcak,
Eric S. Kim,
2018,
HSCC.
Majid Zamani,
Murat Arcak,
Eric S. Kim,
2018,
HSCC.
Majid Zamani,
Murat Arcak,
Eric S. Kim,
2019,
TACAS.
Murat Arcak,
Eric S. Kim,
Felix Gruber,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Pravin Varaiya,
Murat Arcak,
Samuel Coogan,
2017
.
Sanjit A. Seshia,
Murat Arcak,
Eric S. Kim,
2015,
2015 54th IEEE Conference on Decision and Control (CDC).