Alexis Linard

According to our database, Alexis Linard authored at least 17 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Hand It to Me Formally! Data-Driven Control for Human-Robot Handovers With Signal Temporal Logic.

Parag Khanna, Jonathan Fredberg, Mårten Björkman, Christian Smith, Alexis Linard

IEEE Robotics Autom. Lett., October, 2024

Robust MITL planning under uncertain navigation times.

Alexis Linard, Anna Gautier, Daniel Duberg, Jana Tumova

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Real-Time RRT^* with Signal Temporal Logic Preferences.

Alexis Linard, Ilaria Torre, Ermanno Bartoli, Alex Sleat, Iolanda Leite, Jana Tumova

IROS, 2023

2022

Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters.

Alexis Linard, Ilaria Torre, Iolanda Leite, Jana Tumova

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference.

Alexis Linard, Ilaria Torre, Anders Steen, Iolanda Leite, Jana Tumova

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

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

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2021

2020

Active Learning of Signal Temporal Logic Specifications.

Alexis Linard, Jana Tumova

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019

Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm.

Alexis Linard, Doina Bucur, Mariëlle Stoelinga

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

Learning Unions of k-Testable Languages.

Alexis Linard, Colin de la Higuera, Frits W. Vaandrager

Proceedings of the Language and Automata Theory and Applications, 2019

An Application of Hyper-Heuristics to Flexible Manufacturing Systems.

Alexis Linard, Joost van Pinxten

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

2018

Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches.

Alexis Linard

CoRR, 2018

2017

Asymmetric hidden Markov models.

Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Alexis Linard

Int. J. Approx. Reason., 2017

Learning Pairwise Disjoint Simple Languages from Positive Examples.

Alexis Linard, Rick Smetsers, Frits W. Vaandrager, Umar Waqas, Joost van Pinxten, Sicco Verwer

CoRR, 2017

2016

Extraction de lexiques bilingues à partir de corpus comparables spécialisés à travers une langue pivot (Bilingual lexicon extraction from specialized comparable corpora using a pivot language).

Alexis Linard, Emmanuel Morin, Béatrice Daille

Proceedings of the Actes de la conférence conjointe JEP-TALN-RECITAL 2016. Volume 2 : TALN (Articles longs), 2016

Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case.

Marcos L. P. Bueno, Arjen Hommersom, Peter J. F. Lucas, Sicco Verwer, Alexis Linard

Proceedings of the Probabilistic Graphical Models - Eighth International Conference, 2016

Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems.

Alexis Linard, Marcos L. P. Bueno

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Attempting to Bypass Alignment from Comparable Corpora via Pivot Language.

Alexis Linard, Béatrice Daille, Emmanuel Morin

Proceedings of the Eighth Workshop on Building and Using Comparable Corpora, 2015