Abstract: This study examines traffic signal optimization at an intersection by means of formal methods for mobility and safety of vehicular and pedestrian movements. In view of this, the ...
Abstract: This paper presents a novel learning-based approach for online estimation of maximal safe sets for local trajectory planning in unknown static environments. The neural representation of a ...