Perception-based temporal logic planning in uncertain semantic maps Y Kantaros, S Kalluraya, Q Jin, GJ Pappas IEEE Transactions on Robotics 38 (4), 2536-2556, 2022 | 35 | 2022 |
Multi-robot mission planning in dynamic semantic environments S Kalluraya, GJ Pappas, Y Kantaros 2023 IEEE International Conference on Robotics and Automation (ICRA), 1630-1637, 2023 | 15 | 2023 |
Verified compositions of neural network controllers for temporal logic control objectives J Wang, S Kalluraya, Y Kantaros 2022 IEEE 61st Conference on Decision and Control (CDC), 4004-4009, 2022 | 6 | 2022 |
Resilient temporal logic planning in the presence of robot failures S Kalluraya, GJ Pappas, Y Kantaros 2023 62nd IEEE Conference on Decision and Control (CDC), 7520-7526, 2023 | 4 | 2023 |