news
| Feb 10, 2023 | My new EP - Imitation - ranked #31 on the Beatport Global Techno charts. |
|---|---|
| Mar 29, 2021 | ACM SIGBED blog on Robot Learning meets Formal Specifications: Designing Safer Embedded Software in the age of AI |
| Nov 20, 2020 | LfD-STL appears in major news (RISKS Digest, ACM) |
| Mar 28, 2018 | TQTL for vision-based perception systems was highlighted in USC Viterbi News. |