Sofie Haesaert

California Institute of Technology, Eindhoven University of Technology

Papers

5

Total Citations

57

H-Index

4

About

No biography available yet.

Research Focus

Computer science5 · 57 citations
Robot3 · 45 citations
Artificial intelligence3 · 45 citations
Astrobiology1 · 34 citations
Mars Exploration Program1 · 34 citations
Human–computer interaction1 · 34 citations
Temporal logic2 · 13 citations
Mathematics2 · 11 citations
Formal specification1 · 8 citations
Embedded system1 · 8 citations
Program synthesis1 · 8 citations
Algorithm1 · 8 citations

Key Achievements

4
H-Index
5
Papers
57
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
34 citations · 2018
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: California Institute of Technology, Eindhoven University of Technology

Top Papers

  1. 1
    Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
    34 citations · 2018
  2. 2
    Modularized Control Synthesis for Complex Signal Temporal Logic Specifications
    8 citations · 2023
  3. 3
    Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
    6 citations · 2023
  4. 4
    Temporal logic planning in uncertain environments with probabilistic roadmaps and belief spaces
    5 citations · 2019
  5. 5
    Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
    4 citations · 2024

Key Collaborators

CVCristian-Ioan Vasile2 shared papersRMRichard M. Murray2 shared papersRTRohan Thakker2 shared papersZZZengjie Zhang1 shared papersDKDisha Kamale1 shared papersRNRicky Nilsson1 shared papersADAaron D. Ames1 shared papersMEM.H.W. Engelaar1 shared papersMLMircea Lazar1 shared papersKOKyohei Otsu1 shared papersPNPetter Nilsson1 shared papersAAAli Agha1 shared papersAAAli‐akbar Agha‐mohammadi1 shared papersZZZhenya Zhang1 shared papers
Not generated yet