6 papers
Multi-Agent Planning with Spatio-Temporal and Topological Constraints using STL-GO
Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan +3
Multi-agent planning problems arise in a variety of engineering applications, such as multi-robot wildfire fighting and unmanned aerial inspection in factories. A particular challe…
An Algebraic Framework for Quantitative Semantics of Spatio-Temporal Logic with Graph Operators
Sheryl Paul, Vidisha Kudalkar, Anand Balakrishnan +3
Spatio-Temporal Logic with Graph Operators (STL-GO) extends Signal Temporal Logic (STL) to multi-agent systems via graph operators that count neighboring agents satisfying a proper…
On Online Control of Opinion Dynamics
Sheryl Paul, Leslie Cruz Juarez, Jyotirmoy V. Deshmukh +1
Networked multi-agent dynamical systems have been used to model how individual opinions evolve over time due to the opinions of other agents in the network. Particularly, such a mo…
Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Anand Balakrishnan, Sheryl Paul, Simone Silvetti +2
Modern cyber-physical systems (CPS) can consist of various networked components and agents interacting and communicating with each other. In the context of spatially distributed CP…
Multi-agent Path Finding for Timed Tasks using Evolutionary Games
Sheryl Paul, Anand Balakrishnan, Xin Qin +1
Autonomous multi-agent systems such as hospital robots and package delivery drones often operate in highly uncertain environments and are expected to achieve complex temporal task…
Survival of the Fittest: Evolutionary Adaptation of Policies for Environmental Shifts
Sheryl Paul, Jyotirmoy V. Deshmukh
Reinforcement learning (RL) has been successfully applied to solve the problem of finding obstacle-free paths for autonomous agents operating in stochastic and uncertain environmen…