Alexis Linard

KTH Royal Institute of Technology

Papers

5

Total Citations

37

H-Index

5

About

No biography available yet.

Research Focus

Computer science5 · 37 citations
Artificial intelligence4 · 26 citations
Theoretical computer science3 · 26 citations
Robot4 · 26 citations
Temporal logic2 · 21 citations
Machine learning3 · 20 citations
Human–robot interaction3 · 16 citations
Mobile robot2 · 16 citations
Formalism (music)2 · 15 citations
Computation tree logic1 · 11 citations
Computation1 · 11 citations
Focus (optics)1 · 11 citations

Key Achievements

5
H-Index
5
Papers
37
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Real-Time RRT<sup>*</sup> with Signal Temporal Logic Preferences
11 citations · 2023
📈 Most Prolific Year: 2021 (2 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: KTH Royal Institute of Technology

Top Papers

  1. 1
    Real-Time RRT<sup>*</sup> with Signal Temporal Logic Preferences
    11 citations · 2023
  2. 2
    Active Learning of Signal Temporal Logic Specifications
    10 citations · 2020
  3. 3
    Should Robots Chicken?
    6 citations · 2021
  4. 4
    Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters
    5 citations · 2022
  5. 5
    Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference
    5 citations · 2021

Key Collaborators

JTJana Tůmová5 shared papersITIlaria Torre4 shared papersILIolanda Leite4 shared papersASAnders Steen2 shared papersASAlex Sleat1 shared papersEBErmanno Bartoli1 shared papers
Not generated yet