Picture for Disha Kamale

Disha Kamale

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation

Add code
Jul 30, 2024
Viaarxiv icon

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams

Add code
Jun 03, 2024
Viaarxiv icon

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception

Add code
Sep 13, 2023
Viaarxiv icon

Natural Language Robot Programming: NLP integrated with autonomous robotic grasping

Add code
Apr 06, 2023
Viaarxiv icon

Symbolic Perception Risk in Autonomous Driving

Add code
Mar 16, 2023
Viaarxiv icon

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers

Add code
Sep 20, 2022
Figure 1 for Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Figure 2 for Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Figure 3 for Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Figure 4 for Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Viaarxiv icon

Automata-based Optimal Planning with Relaxed Specifications

Add code
Jul 28, 2021
Figure 1 for Automata-based Optimal Planning with Relaxed Specifications
Figure 2 for Automata-based Optimal Planning with Relaxed Specifications
Figure 3 for Automata-based Optimal Planning with Relaxed Specifications
Figure 4 for Automata-based Optimal Planning with Relaxed Specifications
Viaarxiv icon