Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12307173 | Extracting temporal specifications of features for functional compatibility and integration with OEMs | Akihito Nakamura, BaekGyu Kim | 2025-05-20 |
| 12208521 | System and method for robot learning from human demonstrations with formal logic | Jyotirmoy V. Deshmukh, Stefanos Nikolaidis | 2025-01-28 |
| 11394612 | Distributed systems and extracting configurations for edge servers using driving scenario awareness | BaekGyu Kim | 2022-07-19 |