Issued Patents 2022
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11249888 | System and method for generating counterexample tests of incidental invariants | Alexandre Campos Perez, Eric A. Bier, Johan de Kleer | 2022-02-15 |
| 11249891 | Machine-learning framework for testing feedback controller robustness | Peter Patel-Schneider, Ion Matei, Alexandre Perez, Johan de Kleer | 2022-02-15 |