Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
Alexandre Pauchet, Amal El Fallah-Seghrouchni, Nat...
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
The term social navigation refers to the process of seeking social interaction as a source of navigational support. In this paper we present a computational model of social naviga...
Although there are many efficient algorithms for calculating the simulation preorder on finite Kripke structures, only two have been proposed of which the space complexity is of t...
Atmospheric flow and pollutant dispersion over built-up areas are affected by phenomena occurring at different scales. Hence, scale interactions should also be considered in the m...