| 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 | 22 | 2019 |
| Asymmetric hidden Markov models MLP Bueno, A Hommersom, PJF Lucas, A Linard International Journal of Approximate Reasoning 88, 169-191, 2017 | 19 | 2017 |
| Active Learning of Signal Temporal Logic Specifications A Linard, J Tumova 2020 IEEE 16th International Conference on Automation Science and …, 2020 | 15 | 2020 |
| Induction of Fault Trees through Bayesian Networks A Linard, MLP Bueno, D Bucur, MIA Stoelinga Singapore: Research Publishing, 2019 | 12 | 2019 |
| 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 | 11 | 2021 |
| Towards adaptive scheduling of maintenance for cyber-physical systems A Linard, MLP Bueno Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 10 | 2016 |
| 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 | 9 | 2023 |
| 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 | 9 | 2015 |
| Learning Unions of k-Testable Languages A Linard, C de La Higuera, F Vaandrager Language and Automata Theory and Applications: 13th International Conference …, 2019 | 8 | 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 | 7 | 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 | 6 | 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 | 4 | 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 | 3 | 2017 |
| Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches A Linard arXiv preprint arXiv:1806.01630, 2018 | 2 | 2018 |
| Hand it to me Formally! Data-driven Control for human-robot handovers with Signal Temporal Logic P Khanna, J Fredberg, M Björkman, C Smith, A Linard IEEE Robotics and Automation Letters, 2024 | | 2024 |
| Robust MITL planning under uncertain navigation times A Linard, A Gautier, D Duberg, J Tumova arXiv preprint arXiv:2403.03727, 2024 | | 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 | | 2019 |
| Learning Models for Cyber-Physical Systems A Linard Radboud University Nijmegen, 2019 | | 2019 |
| 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 | | 2016 |
| Bilingual Lexicon Extraction from Comparable Corpora and involving a Pivot Language A Linard Université de Nantes, 2015 | | 2015 |
Jana TumovaKTHBestätigte E-Mail-Adresse bei kth.se
