| 2024 | ICRA | Robust MITL planning under uncertain navigation times. | Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova |
| 2023 | IROS | Real-Time RRT | Alexis Linard, Ilaria Torre, Ermanno Bartoli, Alex Sleat, Iolanda Leite, Jana Tumova |
| 2022 | IROS | Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters. | Alexis Linard, Ilaria Torre, Iolanda Leite, Jana Tumova |
| 2021 | HRI | Should Robots Chicken?: How Anthropomorphism and Perceived Autonomy Influence Trajectories in a Game-theoretic Problem. | Ilaria Torre, Alexis Linard, Anders Steen, Jana Tumova, Iolanda Leite |
| 2021 | IROS | Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference. | Alexis Linard, Ilaria Torre, Anders Steen, Iolanda Leite, Jana Tumova |
| 2019 | DSD | An Application of Hyper-Heuristics to Flexible Manufacturing Systems. | Alexis Linard, Joost van Pinxten |
| 2019 | LATA | Learning Unions of k-Testable Languages. | Alexis Linard, Colin de la Higuera, Frits W. Vaandrager |
| 2019 | SETTA | Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm. | Alexis Linard, Doina Bucur, Marille Stoelinga |
| 2016 | ISoLA | Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems. | Alexis Linard, Marcos L. P. Bueno |