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