| Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications S Andersson, A Nikou, DV Dimarogonas IFAC-PapersOnLine 50 (1), 2397-2402, 2017 | 37 | 2017 |
| Human-in-the-Loop Mixed-Initiative Control under Temporal Tasks M Guo, S Andersson, DV Dimarogonas 2018 IEEE International Conference on Robotics and Automation (ICRA), 6395-6400, 2018 | 23 | 2018 |
| Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Hard and Soft Metric Interval Temporal Logic Specifications* S Ahlberg, DV Dimarogonas 2019 IEEE 15th International Conference on Automation Science and …, 2019 | 14 | 2019 |
| A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks R Baran, X Tan, P Varnai, P Yu, S Ahlberg, M Guo, WS Cortez, ... 2021 IEEE 17th International Conference on Automation Science and …, 2021 | 11 | 2021 |
| Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications S Andersson, DV Dimarogonas 2018 European Control Conference (ECC), 453-458, 2018 | 8 | 2018 |
| Co-adaptive Human–Robot Cooperation: Summary and Challenges S Ahlberg, A Axelsson, P Yu, WS Cortez, Y Gao, A Ghadirzadeh, ... Unmanned Systems 10 (02), 187-203, 2022 | 5 | 2022 |
| Automatic control design synthesis under metric interval temporal logic specifications S Andersson | 4 | 2016 |
| Mixed-Initiative Control Synthesis: Estimating an Unknown Task Based on Human Control Input S Ahlberg, DV Dimarogonas 3rd IFAC workshop on Cyber-Physical & Human Systems, 2020 | 1 | 2020 |
| Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications S Ahlberg KTH Royal Institute of Technology, 2019 | 1 | 2019 |
Dimos DimarogonasKTH Royal Institute of TechnologyVerified email at kth.se
