Kamale, Disha

1. Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
   2024/06/03 by Disha Kamale, Kamale, Disha, Cristian-Ioan Vasile +1 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Distributed systems and fault tolerance
2. Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
   2024/07/30 by Kaier Liang, Liang, Kaier, Gustavo A. Cardona +5 · 1 citation
   Computer Science · #Data Mining Algorithms and Applications #FOS: Computer and information sciences #Formal Methods in Verification #Fuzzy Logic and Control Systems #Machine Learning (cs.LG)
3. Automata-based Optimal Planning with Relaxed Specifications
   2021/07/28 by Kamale, Disha, Karyofylli, Eleni, Vasile, Cristian-Ioan · 1 citation
   #FOS: Computer and information sciences #Robotics (cs.RO)