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. |