14 citations · 21 across the 16 of their papers we have counts for
29 papers
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…
When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
Kaizer Rahaman, Jyotirmoy V. Deshmukh, Ashish R. Hota +1
Autonomous systems operate in environments that may change over time. An example is the control of a self-driving vehicle among pedestrians and human-controlled vehicles whose beha…
Self-driving cars: Are we there yet?
Merve Atasever, Zhuochen Liu, Qingpei Li +4
Autonomous driving remains a highly active research domain that seeks to enable vehicles to perceive dynamic environments, predict the future trajectories of traffic agents such as…
Multi-Agent Path Finding via Offline RL and LLM Collaboration
Merve Atasever, Matthew Hong, Mihir Nitin Kulkarni +2
Multi-Agent Path Finding (MAPF) poses a significant and challenging problem critical for applications in robotics and logistics, particularly due to its combinatorial complexity an…
Conformal Predictive Monitoring for Multi-Modal Scenarios
Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh +2
We consider the problem of quantitative predictive monitoring (QPM) of stochastic systems, i.e., predicting at runtime the degree of satisfaction of a desired temporal logic proper…