Digital Futures Seminar Talk – Towards Correct-by-design Social Autonomy

Here is a highlight talk where I cover several topics, ranging from perceived safety in Reinforcement Learning to modelling human preferences in robot navigation, thanks to formal methods. I also talk about my latest works on learning formal specifications from data, and to what extent temporal logic inference is an interesting first step towards correct-by-design social autonomy.