Eric S. Kim

Identifiers

No identifiers captured yet.

Papers (4)

1. Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis cs.SY · 2019 · author #1
2. Abstractions for Symbolic Controller Synthesis are Composable cs.SY · 2018 · author #1
3. Sparsity-Sensitive Finite Abstraction cs.SY · 2017 · author #2
4. A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications cs.SY · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Murat Arcak 3 shared papers
• Sanjit A. Seshia 2 shared papers
• Dorsa Sadigh 1 shared papers
• Felix Gruber 1 shared papers
• Samuel Coogan 1 shared papers
• S. Shankar Sastry 1 shared papers