Disha Kamale

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