Disha Kamale

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Mixed Integer Linear Programming

Optimal Planning

Autonomous Driving

Top Venues

Publications

Kaier Liang, Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation. CoRR (2024)
Disha Kamale, Cristian-Ioan Vasile
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams. ICRA (2024)
Disha Kamale, Cristian-Ioan Vasile
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams. CoRR (2024)
Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile, Nader Motee
Symbolic Perception Risk in Autonomous Driving. ACC (2023)
Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic. HSCC (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. CDC (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. ICRA (2023)
Muhammad Arshad Khan, Max Kenney, Jack Painter, Disha Kamale, Riza Batista-Navarro, Amir Ghalamzan E
Natural Language Robot Programming: NLP integrated with autonomous robotic grasping. CoRR (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception. CoRR (2023)
Guangyi Liu, Disha Kamale, Cristian-Ioan Vasile, Nader Motee
Symbolic Perception Risk in Autonomous Driving. CoRR (2023)
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers. CoRR (2022)
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
Automata-based Optimal Planning with Relaxed Specifications. CoRR (2021)
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
Automata-based Optimal Planning with Relaxed Specifications. IROS (2021)
Soran Parsa, Disha Kamale, Sariah Mghames, Kiyanoush Nazari, Tommaso Pardi, Aravinda Ramakrishnan Srinivasan, Gerhard Neumann, Marc Hanheide, Amir Ghalamzan E
Haptic-guided shared control grasping: collision-free manipulation. CASE (2020)