papers
Publications (4)
eess.SP2018
Randomized Greedy Sensor Selection: Leveraging Weak Submodularity
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo +1
cs.LO2018
Maximum Realizability for Linear Temporal Logic Specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
cs.RO2018
Counterexamples for Robotic Planning Explained in Structured Language
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang +1
eess.SP2019
Submodular Observation Selection and Information Gathering for Quadratic Models
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo +1