Publications
Below are some of our selected publications
Preprints
Shivam Chaubey, Francesco Verdoja, Shankar Deka, Ville Kyrki
2025
Jianqiang Ding, Dingran Yuan, Shankar A. Deka
2025
IEEE Conference on Decision and Control, Rio de Janeiro, Brazil
Srikar Annamraju, Harris Nisar, Dayu Xia, Shankar A Deka, Anne Horowitz, Nadica Miljković, Dušan M Stipanović
2025
Victor Nan Fernandez-Ayala, Shankar A Deka, Dimos V Dimarogonas
2024
Jianqiang Ding, Shankar A. Deka
2024
Published
Shivam Chaubey, Francesco Verdoja, Shankar Deka, Ville Kyrki
2025
2026 IEEE International Conference on Robotics & Automation (ICRA)
Jianqiang Ding, Taoran Wu, Zhen Liang, Bai Xue
2025
Formal Methods - 26th International Symposium, FM 2024, Proceedings
Xiaolei Li, Xu Fang, Shankar Deka, Changyun Wen
2025
Unmanned Systems
Xiaolei Li, Xu Fang, Shankar Deka, Changyun Wen
2025
Unmanned Systems
Shankar A. Deka, Sujet Phodapol, Andreu Matoses Gimenez, Victor Nan Fernandez-Ayala, Rufus Wong, Pian Yu, Xiao Tan, Dimos V. Dimarogonas
2024
2024 IEEE 20th International Conference on Automation Science and Engineering, CASE 2024
Shankar A. Deka, Umesh Vaidya
2024
2024 IEEE 63rd Conference on Decision and Control, CDC 2024
Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
2024
Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings
Shankar A. Deka, Claire J. Tomlin, Donggun Lee
2023
IEEE Transactions on Automatic Control
Shankar A. Deka, Umesh Vaidya, Dimos V. Dimarogonas
2023
2023 European Control Conference (ECC)
Shankar Deka, Umesh Vaidya
2023
62nd IEEE Conference of Decision and Control
More information on our research in the Aalto research portal.