| High-level decision making for safe and reasonable autonomous lane changing using reinforcement learning B Mirchevska, C Pek, M Werling, M Althoff, J Boedecker 2018 21st International Conference on Intelligent Transportation Systems …, 2018 | 217 | 2018 |
| Using online verification to prevent autonomous vehicles from causing accidents C Pek, S Manzinger, M Koschi, M Althoff Nature Machine Intelligence 2 (9), 518-528, 2020 | 131 | 2020 |
| Using reachable sets for trajectory planning of automated vehicles S Manzinger, C Pek, M Althoff IEEE Transactions on Intelligent Vehicles 6 (2), 232-248, 2020 | 92 | 2020 |
| Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules C Pek, P Zahn, M Althoff 2017 IEEE Intelligent Vehicles Symposium (IV), 1477-1483, 2017 | 91 | 2017 |
| Computationally efficient fail-safe trajectory planning for self-driving vehicles using convex optimization C Pek, M Althoff 2018 21st International Conference on Intelligent Transportation Systems …, 2018 | 82 | 2018 |
| Fail-safe motion planning for online verification of autonomous vehicles using convex optimization C Pek, M Althoff IEEE Transactions on Robotics 37 (3), 798-814, 2020 | 71 | 2020 |
| Set-based prediction of pedestrians in urban environments considering formalized traffic rules M Koschi, C Pek, M Beikirch, M Althoff 2018 21st international conference on intelligent transportation systems …, 2018 | 71 | 2018 |
| Provably-correct and comfortable adaptive cruise control M Althoff, S Maierhofer, C Pek IEEE Transactions on Intelligent Vehicles 6 (1), 159-174, 2020 | 62 | 2020 |
| Computationally efficient safety falsification of adaptive cruise control systems M Koschi, C Pek, S Maierhofer, M Althoff 2019 IEEE Intelligent Transportation Systems Conference (ITSC), 2879-2886, 2019 | 55 | 2019 |
| Efficient mixed-integer programming for longitudinal and lateral motion planning of autonomous vehicles C Miller, C Pek, M Althoff 2018 IEEE Intelligent Vehicles Symposium (IV), 1954-1961, 2018 | 52 | 2018 |
| Risk-aware motion planning for autonomous vehicles with safety specifications T Nyberg, C Pek, L Dal Col, C Norén, J Tumova 2021 ieee intelligent vehicles symposium (iv), 1016-1023, 2021 | 44 | 2021 |
| CommonRoad drivability checker: Simplifying the development and validation of motion planning algorithms C Pek, V Rusinov, S Manzinger, MC Üste, M Althoff 2020 IEEE intelligent vehicles symposium (IV), 1013-1020, 2020 | 37 | 2020 |
| An online verification framework for motion planning of self-driving vehicles with safety guarantees C Pek, M Koschi, M Althoff AAET-Automatisiertes und vernetztes Fahren, 2019 | 37 | 2019 |
| Efficient computation of invariably safe states for motion planning of self-driving vehicles C Pek, M Althoff 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018 | 29 | 2018 |
| 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 | 25 | 2021 |
| Physical activity is unrelated to cognitive performance in pre-bariatric surgery patients S Langenberg, M Schulze, M Bartsch, K Gruner-Labitzke, C Pek, H Köhler, ... Journal of psychosomatic research 79 (2), 165-170, 2015 | 21 | 2015 |
| Correct Me If I’m Wrong: Using Non-Experts to Repair Reinforcement Learning Policies S van Waveren, C Pek, J Tumova, I Leite Proc. of the ACM/IEEE Int. Conf. on Human-Robot Interaction, 2022 | 18 | 2022 |
| Foresee the unseen: Sequential reasoning about hidden obstacles for safe driving JMG Sánchez, T Nyberg, C Pek, J Tumova, M Törngren 2022 IEEE Intelligent Vehicles Symposium (IV), 255-264, 2022 | 16 | 2022 |
| Efficient trajectory optimization for vehicles using quadratic programming B Gutjahr, C Pek, L Gröll, M Werling Automatisierungstechnik 64 (10), 786-794, 2016 | 15* | 2016 |
| Increasing perceived safety in motion planning for human-drone interaction S Van Waveren, R Rudling, I Leite, P Jensfelt, C Pek Proceedings of the 2023 ACM/IEEE international conference on human-robot …, 2023 | 12 | 2023 |
Jana TumovaKTH在 kth.se 的电子邮件经过验证
