- document
-
Coppola, R. (author), Peruffo, A. (author), Mazo, M. (author)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...journal article 2023
- document
-
Huang, R. (author), Zhao, Xuan (author), Yuan, Y. (author), Yu, Qiang (author), Liu, Chengqing (author), Daamen, W. (author)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...journal article 2023
- document
-
Wang, X. (author), Alonso-Mora, J. (author), Wang, M. (author)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,...journal article 2022
- document
-
Wilde, N. (author), Alonso-Mora, J. (author)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...conference paper 2022