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