Disha Kamale
Orcid: 0000-0002-5421-072X
According to our database1,
Disha Kamale
authored at least 9 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation.
CoRR, 2024
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
2023
CoRR, 2023
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.
Proceedings of the IEEE International Conference on Robotics and Automation, 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, 2023
Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the American Control Conference, 2023
2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
2020
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020