7 citations · 12 across the 8 of their papers we have counts for
3 papers · 1 filter
Randomized Greedy Sensor Selection: Leveraging Weak Submodularity
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo +1
We study the problem of estimating a random process from the observations collected by a network of sensors that operate under resource constraints. When the dynamics of the proces…
Maximum Realizability for Linear Temporal Logic Specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
Automatic synthesis from linear temporal logic (LTL) specifications is widely used in robotic motion planning, control of autonomous systems, and load distribution in power network…
Counterexamples for Robotic Planning Explained in Structured Language
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang +1
Automated techniques such as model checking have been used to verify models of robotic mission plans based on Markov decision processes (MDPs) and generate counterexamples that may…