The ability to capture actual road conditions in an automated and cost-effective manner has increasedsignificantly with advances in sensor technologies, computer storage and data processing capabilities, andanalysis techniques. Likewise, the ability to utilize this information in a simulated road environment to (1)conduct research with human subjects regarding actual and propose...

Traffic congestion is increasingly growing, especially in urban areas. One of the solutions for this problem is automated traffic. Many research programs have been carried out or are currently underway to implement automated road or highway systems, based on automatically controlled platoons of vehicles. The aim is to improve the flow and the safety of traffic by reducing accidents, while reduc...

We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities. We investigate the proof theory of this extension, called EMLSL. To this end, we prove the undecidability of EMLSL but nevertheless present a sound proof system which allows for reasoning a...

In this paper we focus on gaining insight into the residential satisfaction of households near highways, based on survey data collected among 1,225 respondents in the Netherlands living within 1,000 meters from a highway. Ordinal regression was used to study the impact of highway externalities on residential satisfaction. Moreover, we gained first insights into the reactions of people on highwa...