Alexis Linard
Alexis Linard
Post Doctoral Researcher, KTH Royal Institute of Technology
Dirección de correo verificada de - Página principal
Citado por
Citado por
Fault trees from data: Efficient learning with an evolutionary algorithm
A Linard, D Bucur, M Stoelinga
Dependable Software Engineering. Theories, Tools, and Applications: 5th …, 2019
Asymmetric hidden Markov models
MLP Bueno, A Hommersom, PJF Lucas, A Linard
International Journal of Approximate Reasoning 88, 169-191, 2017
Active Learning of Signal Temporal Logic Specifications
A Linard, J Tumova
2020 IEEE 16th International Conference on Automation Science and …, 2020
Should Robots Chicken? How Anthropomorphism and Perceived Autonomy Influence Trajectories in a Game-Theoretic Problem
I Torre, A Linard, A Steen, J Tumová, I Leite
Proceedings of the 2021 ACM/IEEE International Conference on Human-Robot …, 2021
Induction of Fault Trees through Bayesian Networks
A Linard, MLP Bueno, D Bucur, MIA Stoelinga
Singapore: Research Publishing, 2019
Towards adaptive scheduling of maintenance for cyber-physical systems
A Linard, MLP Bueno
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Attempting to bypass alignment from comparable corpora via pivot language
A Linard, B Daille, E Morin
Proceedings of the Eighth Workshop on Building and Using Comparable Corpora …, 2015
Real-Time RRT* with Signal Temporal Logic Preferences
A Linard, I Torre, E Bartoli, A Sleat, I Leite, J Tumova
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2023
Learning Unions of k-Testable Languages
A Linard, C de La Higuera, F Vaandrager
Language and Automata Theory and Applications: 13th International Conference …, 2019
Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters
A Linard, I Torre, I Leite, J Tumova
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022
Formalizing trajectories in human-robot encounters via probabilistic STL inference
A Linard, I Torre, A Steen, I Leite, J Tumova
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021
Learning complex uncertain states changes via asymmetric hidden Markov models: an industrial case
MLP Bueno, A Hommersom, PJF Lucas, S Verwer, A Linard
Conference on Probabilistic Graphical Models, 50-61, 2016
Learning Pairwise Disjoint Simple Languages from Positive Examples
A Linard, R Smetsers, F Vaandrager, U Waqas, J van Pinxten, S Verwer
arXiv preprint arXiv:1706.01663, 2017
Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches
A Linard
arXiv preprint arXiv:1806.01630, 2018
Extraction de lexiques bilingues à partir de corpus comparables spécialisés à travers une langue pivot
A Linard, E Morin, B Daille
Actes de la conférence conjointe JEP-TALN-RECITAL 2016 2, 180-193, 2016
Robust MITL planning under uncertain navigation times
A Linard, A Gautier, D Duberg, J Tumova
arXiv preprint arXiv:2403.03727, 2024
An Application of Hyper-Heuristics to Flexible Manufacturing Systems
A Linard, J van Pinxten
2019 22nd Euromicro Conference on Digital System Design (DSD), 343-350, 2019
Learning Models for Cyber-Physical Systems
A Linard
Radboud University Nijmegen, 2019
Bilingual Lexicon Extraction from Comparable Corpora and involving a Pivot Language
A Linard
Université de Nantes, 2015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–19