About

Postdoctoral Researcher

I am Alexis Linard, Postdoctoral Researcher at KTH - Royal Institute of Technology, Stockholm (Sweden). I am part of the division of Robotics, Perception and Learning (RPL), as well as the WASP Expedition Project on Correct-by-design and Socially Acceptable Autonomy (CorSA). I am currently doing research in the fields of Cyber-Physical Systems, Robotics, Model Learning and Temporal Logics.

Download CV

Research

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.

Publications

Real-time RRT* with Signal Temporal Logic Preferences.: (2023). Linard, A., Torre, I., Bartoli E., Sleat A., Leite, I., Tumova, J. To appear in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2023 (pdf) (video)
Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters.: (2022). Linard, A., Torre, I., Leite, I., Tumova, J. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022 (pdf) (video)
Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference.: (2021). Linard, A., Torre, I., Steen, A., Leite, I., Tumova, J. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021 (pdf) (video)
Should robots chicken? How anthropomorphism and perceived autonomy influence trajectories in a game-theoretic problem.: (2021). Torre, I., Linard, A., Steen, A., Leite, I., Tumova, J. In Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, HRI 2021 (pdf)
Active Learning of Signal Temporal Logic Specifications.: (2020). Linard, A., Tumova, J. In Proceedings of the IEEE 15th International Conference on Automation Science and Engineering, CASE 2020 (pdf)
Learning Models for Cyber-Physical Systems.: (2019). Linard, A. PhD thesis (pdf)
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm.: (2019). Linard, A., Bucur, D., Stoelinga, M. In Proceedings of the Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 (pdf)
Induction of Fault Trees through Bayesian Networks.: (2019). Linard, A., Bueno, M., Bucur, D., Stoelinga, M. In Proceedings of the 29th European Safety and Reliability Conference, ESREL 2019 (pdf)
An Application of Hyper-Heuristics to Flexible Manufacturing Systems.: (2019). Linard, A., van Pinxten, J. In Proceedings of the 22nd Euromicro Conference on Digital System Design, DSD 2019 (pdf)
Learning Unions of k-Testable Languages.: (2019). Linard, A., de la Higuera, C., Vaandrager, F. In Proceedings of the International Conference on Language and Automata Theory and Applications, LATA 2019 (pdf)
Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches.: (2018). Linard, A. arXiv preprint: arXiv:1806.01630 (pdf)
Asymmetric hidden Markov models.: (2017). Bueno, M. L., Hommersom, A., Lucas, P. J., & Linard, A. International Journal of Approximate Reasoning, 88, 169-191. (pdf)
Learning Pairwise Disjoint Simple Languages from Positive Examples.: (2017). Linard, A., Smetsers, R., Vaandrager, F., Waqas, U., van Pinxten, J., & Verwer, S. arXiv preprint: arXiv:1706.01663 (pdf)
Towards adaptive scheduling of maintenance for cyber-physical systems.: (2016). Linard, A., & Bueno, M. L. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods (pp. 134-150). (pdf)
Extraction de lexiques bilingues à partir de corpus comparables spécialisés à travers une langue pivot.: (2016). Linard, A., Daille, B., & Morin, E. In Actes de la conférence conjointe JEP-TALN-RECITAL 2016 (2), 180-193 (pdf)
Learning complex uncertain states changes via asymmetric hidden Markov models: an industrial case.: (2016). Bueno, M. L., Hommersom, A., Lucas, P. J., Verwer, S., & Linard, A. In Proceedings of the Eighth International Conference on Probabilistic Graphical Models, 50-61, PGM 2016 (pdf)
Attempting to bypass alignment from comparable corpora via pivot language.: (2015). Linard, A., Daille, B., & Morin, E. In Proceedings of the Eighth Workshop on Building and Using Comparable Corpora (pp. 32-37). (pdf)

Work Experience