Haptic-guided shared control grasping: collision-free manipulation. - Soran Parsa; Disha Kamale; Sariah Mghames; Kiyanoush Nazari; Tommaso Pardi; Aravinda Ramakrishnan Srinivasan; Gerhard Neumann; Marc Hanheide; Amir Ghalamzan E (CASE, 2020)

Automata-based Optimal Planning with Relaxed Specifications. - Disha Kamale; Eleni Karyofylli; Cristian-Ioan Vasile (IROS, 2021)

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

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. - Disha Kamale; Sofie Haesaert; Cristian-Ioan Vasile (CDC, 2023)

Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. - Gustavo A. Cardona; Disha Kamale; Cristian-Ioan Vasile (HSCC, 2023)

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. - Disha Kamale; Sofie Haesaert; Cristian-Ioan Vasile (ICRA, 2023)

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

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation. - Kaier Liang; Gustavo A. Cardona; Disha Kamale; Cristian-Ioan Vasile (CDC, 2024)

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams. - Disha Kamale; Cristian-Ioan Vasile (ICRA, 2024)