10 citations · 11 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
physics.soc-ph2020★ 10 cited
Social Distance Characterization by means of Pedestrian Simulation
Daniel R. Parisi, Germán A. Patterson, Lucio Pagni +18
In the present work, we study how the number of simulated clients (occupancy) affects the social distance in an ideal supermarket. For this, we account for realistic typical dimens…
cs.SE2020
Declarative Stream Runtime Verification (hLola)
Martin Ceresa, Felipe Gorostiaga, Cesar Sanchez
Stream Runtime Verification is a formal dynamic analysis technique that generalizes runtime verification algorithms from temporal logics like LTL to stream monitoring, allowing to…