31 citations · 85 across the 19 of their papers we have counts for
9 papers · 1 filter
Temporally Robust Multi-Agent STL Motion Planning in Continuous Time
Joris Verhagen, Lars Lindemann, Jana Tumova
Signal Temporal Logic (STL) is a formal language over continuous-time signals (such as trajectories of a multi-agent system) that allows for the specification of complex spatial an…
Belief Control Barrier Functions for Risk-aware Control
Matti Vahs, Christian Pek, Jana Tumova
Ensuring safety in real-world robotic systems is often challenging due to unmodeled disturbances and noisy sensor measurements. To account for such stochastic uncertainties, many r…
Risk-Aware Motion Planning in Partially Known Environments
Fernando S. Barbosa, Bruno Lacerda, Paul Duckworth +2
Recent trends envisage robots being deployed in areas deemed dangerous to humans, such as buildings with gas and radiation leaks. In such situations, the model of the underlying ha…
Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving
Maxime Bouton, Jesper Karlsson, Alireza Nakhaei +3
Designing reliable decision strategies for autonomous urban driving is challenging. Reinforcement learning (RL) has been used to automatically derive suitable behavior in uncertain…
A Receding Horizon Approach to Multi-Agent Planning from Local LTL Specifications
Jana Tumova, Dimos V. Dimarogonas
We study the problem of control synthesis for multi-agent systems, to achieve complex, high-level, long-term goals that are assigned to each agent individually. As the agents might…
Incremental Sampling-based Algorithm for Minimum-violation Motion Planning
Luis I. Reyes Castro, Pratik Chaudhari, Jana Tumova +3
This paper studies the problem of control strategy synthesis for dynamical systems with differential constraints to fulfill a given reachability goal while satisfying a set of safe…