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...

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,...