( en | de | ru )

 

Disambiguation of "Kim, Eric S."

Author of the publication

copydeleteadd this publication to your clipboard
A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications.

, , , , and . CoRR, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eric Kim

Ki-s Kim

Hauke Erichsen

Ull Erich

Gerda Erich

 

Other publications of authors with the same name

Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis., , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 591-608. Springer, (2019)Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach., , , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 265-281. Springer, (2019)Constructing Control System Abstractions from Modular Components., , and . HSCC, page 137-146. ACM, (2018)Dynamic contracts for distributed temporal logic control of traffic networks., , , , and . CDC, page 3640-3645. IEEE, (2017)Directed Specifications and Assumption Mining for Monotone Dynamical Systems., , and . HSCC, page 21-30. ACM, (2016)Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms., , , and . HSCC, page 285-286. ACM, (2018)A Small Gain Theorem for Parametric Assume-Guarantee Contracts., , and . HSCC, page 207-216. ACM, (2017)Offset optimization of signalized intersections via the Burer-Monteiro method., , , and . ACC, page 3554-3559. IEEE, (2017)Assume-guarantee contracts and controller synthesis for vehicular traffic networks., , and . ACC, page 882. IEEE, (2016)Compositional controller synthesis for vehicular traffic networks., , and . CDC, page 6165-6171. IEEE, (2015)