Online Multi-Robot Task Assignment with Stochastic Blockages

In this paper we study the multi-robot task assignment problem with tasks that appear online and need to be serviced within a fixed time window in an uncertain environment. For example, when deployed in dynamic, human-centered environments, the team of robots may not have perfect information about the environment. Parts of the environment may...

Probabilistic Risk Metric for Highway Driving Leveraging Multi-Modal Trajectory Predictions

Road traffic safety has attracted increasing research attention, in particular in the current transition from human-driven vehicles to autonomous vehicles. Surrogate measures of safety are widely used to assess traffic safety but they typically ignore motion uncertainties and are inflexible in dealing with two-dimensional motion. Meanwhile,...

Data-driven Abstractions for Verification of Linear Systems

We introduce a novel approach for the construction of symbolic abstractions - simpler, finite-state models - which mimic the behaviour of a system of interest, and are commonly utilized to verify complex logic specifications. Such abstractions require an exhaustive knowledge of the concrete model, which can be difficult to obtain in real...

Modeling Pedestrian Tactical and Operational Decisions Under Risk and Uncertainty: A Two-Layer Model Framework

Pedestrian tactical choices and operational movement in evacuations essentially pertain to decision-making under risk and uncertainty. However, in microscopic evacuation models, this attribute has been greatly overlooked, even lacking a methodology to delineate the related decision characteristics (bounded rationality and risk attitudes), let...