7 citations · 12 across the 8 of their papers we have counts for
12 papers
Formal Methods for Autonomous Systems
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe +6
Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main buil…
No-Regret Learning in Dynamic Stackelberg Games
Niklas Lauffer, Mahsa Ghasemi, Abolfazl Hashemi +2
In a Stackelberg game, a leader commits to a randomized strategy, and a follower chooses their best strategy in response. We consider an extension of a standard Stackelberg game, c…
Parameters for certain locally-regular graphs
Marston Conder, Jeroen Schillewaert, Gabriel Verret
A graph is called -regular if it is -regular and the induced subgraph on the neighbourhood of every vertex is -regular. We find new conditions on for the exist…
Multiple Plans are Better than One: Diverse Stochastic Planning
Mahsa Ghasemi, Evan Scope Crafts, Bo Zhao +1
In planning problems, it is often challenging to fully model the desired specifications. In particular, in human-robot interaction, such difficulty may arise due to human's prefere…
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…
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…
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo +1
We study the problem of scheduling sensors in a resource-constrained linear dynamical system, where the objective is to select a small subset of sensors from a large network to per…