| Reinforcement learning with probabilistic guarantees for autonomous driving M Bouton, J Karlsson, A Nakhaei, K Fujimura, MJ Kochenderfer, ... arXiv preprint arXiv:1904.07189, 2019 | 94 | 2019 |
| Multi-vehicle motion planning for social optimal mobility-on-demand J Karlsson, CI Vasile, J Tumova, S Karaman, D Rus 2018 IEEE International Conference on Robotics and Automation (ICRA), 7298-7305, 2018 | 32 | 2018 |
| Sampling-based motion planning with temporal logic missions and spatial preferences J Karlsson, FS Barbosa, J Tumova IFAC-PapersOnLine 53 (2), 15537-15543, 2020 | 30 | 2020 |
| Encoding human driving styles in motion planning for autonomous vehicles J Karlsson, S van Waveren, C Pek, I Torre, I Leite, J Tumova 2021 IEEE International Conference on Robotics and Automation (ICRA), 1050-1056, 2021 | 26 | 2021 |
| Intention-aware motion planning with road rules J Karlsson, J Tumova 2020 IEEE 16th International Conference on Automation Science and …, 2020 | 15 | 2020 |
| Formal methods for robot motion planning with time and space constraints FS Barbosa, J Karlsson, P Tajvar, J Tumova Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021 | 5 | 2021 |
| Decentralized Dynamic Multi-Vehicle Routing via Fast Marching Method J Karlsson, J Tumova 2018 European Control Conference (ECC), 739-745, 2018 | 1 | 2018 |
| Least-violating motion planning for traffic-compliant autonomous driving J Karlsson KTH Royal Institute of Technology, 2022 | | 2022 |
| Calibrating Driving Styles in Motion Planning for Autonomous Vehicles J Karlsson, S van Waveren, C Pek, I Torre, I Leite, J Tumova | | 2022 |
| When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning J Karlsson, A Varava, CI Vasile, S Karaman, D Kragic, D Rus, J Tumova 2021 20th International Conference on Advanced Robotics (ICAR), 594-600, 2021 | | 2021 |
| Constraints FS Barbosa, J Karlsson, P Tajvar, J Tumova Formal Modeling and Analysis of Timed Systems: 19th International Conference …, 2021 | | 2021 |
| Explainability and Testing C Gerking, I Gerostathopoulos, J Karlsson, N Khakpour, M Lochau, ... Explainable Software for Cyber-Physical Systems (ES4CPS), 10, 2019 | | 2019 |
| Self-Explainable Cyber-Physical Systems M Blumreiter, J Greenyer, FJC Garcia, J Karlsson, V Klös, ... Explainable Software for Cyber-Physical Systems (ES4CPS), 8, 2019 | | 2019 |
| Enhancing Object RecognitionBased on Contextual InformationUsing Markov Logic Networks J Karlsson | | 2016 |
| Araújo, André Arpenti, Pierluigi C Azevedo, F Barbosa, J Cacace, N Doria, D Duberg, M Ekal, K Erunsal, ... | | |
