Publications

Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile (2023). Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. 2023 62nd IEEE Conference on Decision and Control (CDC).

Cite DOI URL

Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile (2023). Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control.

Cite DOI URL

Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile (2023). Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. 2023 IEEE International Conference on Robotics and Automation (ICRA).

Cite DOI URL

Muhammad Arshad Khan, Max Kenney, Jack Painter, Disha Kamale, Riza Batista-Navarro, Amir Ghalamzan-E (2023). Natural Language Robot Programming: NLP integrated with autonomous robotic grasping. arXiv.

Cite URL

Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile, Nader Motee (2023). Symbolic Perception Risk in Autonomous Driving. arXiv.

Cite URL

Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile (2021). Automata-based Optimal Planning with Relaxed Specifications. 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Cite DOI URL

Soran Parsa, Disha Kamale, Sariah Mghames, Kiyanoush Nazari, Tommaso Pardi, Aravinda R. Srinivasan, Gerhard Neumann, Marc Hanheide, Ghalamzan E. Amir (2020). Haptic-guided shared control grasping: collision-free manipulation. 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE).

Cite DOI URL

Disha Kamale, Sariah Mghames, Tommaso Pardi, Aravinda R Srinivasan, Gerhard Neumann (2019). Haptic-guiding to avoid collision during teleoperation.

Cite