Sign in
Sofie Ahlberg
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
Linear Temporal Logic
Classical Planning
Heuristic Search
Bounded Model Checking
Top Venues
CASE
Unmanned Syst.
</>
Publications
</>
Sofie Ahlberg
,
Agnes Axelsson
,
Pian Yu
,
Wenceslao Shaw-Cortez
,
Alex Yuan Gao
,
Ali Ghadirzadeh
,
Ginevra Castellano
,
Danica Kragic
,
Gabriel Skantze
,
Dimos V. Dimarogonas
Co-adaptive Human-Robot Cooperation: Summary and Challenges.
Unmanned Syst.
10 (2) (2022)
Robin Baran
,
Xiao Tan
,
Péter Várnai
,
Pian Yu
,
Sofie Ahlberg
,
Meng Guo
,
Wenceslao Shaw-Cortez
,
Dimos V. Dimarogonas
A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks.
CASE
(2021)
Sofie Ahlberg
,
Dimos V. Dimarogonas
.
CASE
(2019)