press

I am proud to say that our work presented at CoRL 2020 on robot learning-from-demonstrations using temporal logics was featured in many of the major Computer Science news platforms: The RISKS Digest (run by Peter G. Neumann of SRI International), ACM TechNews, USC News, USC Viterbi News and others.

The work on TQTL for vision-based perception systems was highlighted in USC Viterbi News.

Appeared in the ACM SIGBED blog on Robot Learning meets Formal Specifications: Designing Safer Embedded Software in the age of AI