Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12361086 | Methods and systems for spatio-temporal regular expression matching | Jacob W. Anderson, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov | 2025-07-15 |
| 11586914 | Systems and methods for evaluating perception systems for autonomous vehicles using quality temporal logic | Hani Ben Amor, Adel Dokhanchi, Jyotirmoy V. Deshmukh | 2023-02-21 |
| 10766489 | Model predictive adaptive cruise control for reducing rear-end collision risk with follower vehicles | Cumhur Erkan Tuncali, Theodore Pavlic | 2020-09-08 |
| 10409706 | Automated test generation for structural coverage for temporal logic falsification of cyber-physical systems | — | 2019-09-10 |