Issued Patents All Time
Showing 1–11 of 11 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12208521 | System and method for robot learning from human demonstrations with formal logic | Aniruddh G. Puranic, Stefanos Nikolaidis | 2025-01-28 |
| 11586914 | Systems and methods for evaluating perception systems for autonomous vehicles using quality temporal logic | Georgios Fainekos, Hani Ben Amor, Adel Dokhanchi | 2023-02-21 |
| 11467575 | Systems and methods for safety-aware training of AI-based control systems | James P. Kapinski, Danil V. Prokhorov | 2022-10-11 |
| 11087568 | Privacy-aware signal monitoring systems and methods | James P. Kapinski, Xiaoqing Jin, Luan V. Nguyen | 2021-08-10 |
| 10580225 | Privacy-aware signal monitoring systems and methods | James P. Kapinski, Xiaoqing Jin, Luan V. Nguyen | 2020-03-03 |
| 10547070 | STL actuation-path planning | Xiaoqing Jin, Jared Farnsworth, Shigeki Hasegawa | 2020-01-28 |
| 10429811 | Systems and methods for testing convergence of closed-loop control systems | James P. Kapinski, Xiaoqing Jin | 2019-10-01 |
| 9798652 | Coverage guided technique for bug finding in control systems and software | James P. Kapinski, Xiaoqing Jin, Thao Dang, Tommaso Dreossi | 2017-10-24 |
| 9606773 | Simulation-guided incremental stability analysis | Ayca Balkan, James P. Kapinski | 2017-03-28 |
| 9195222 | Systems and methods for evaluating stability of software code for control systems | James P. Kapinski | 2015-11-24 |
| 9081900 | Systems and methods for mining temporal requirements from block diagram models of control systems | Xiaoqing Jin, Alexandre Donze, Sanjit A. Seshia | 2015-07-14 |