25 citations · 115 across the 59 of their papers we have counts for
4 papers · 1 filter
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…
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…
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
Anand Balakrishnan, Stefan Jakšić, Edgar A. Aguilar +2
Reinforcement learning (RL) is a popular approach for robotic path planning in uncertain environments. However, the control policies trained for an RL agent crucially depend on use…
Trust-aware Control for Intelligent Transportation Systems
Mingxi Cheng, Junyao Zhang, Shahin Nazarian +2
Many intelligent transportation systems are multi-agent systems, i.e., both the traffic participants and the subsystems within the transportation infrastructure can be modeled as i…