7 citations · 12 across the 8 of their papers we have counts for
4 papers · 1 filter
Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
A challenging problem for autonomous systems is to synthesize a reactive controller that conforms to a set of given correctness properties. Linear temporal logic (LTL) provides a f…
Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget
Mahsa Ghasemi, Ufuk Topcu
Active perception strategies enable an agent to selectively gather information in a way to improve its performance. In applications in which the agent does not have prior knowledge…
Identifying Sparse Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach
Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo +1
We consider the problem of learning low-dimensional representations for large-scale Markov chains. We formulate the task of representation learning as that of mapping the state spa…
Submodular Observation Selection and Information Gathering for Quadratic Models
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo +1
We study the problem of selecting most informative subset of a large observation set to enable accurate estimation of unknown parameters. This problem arises in a variety of settin…