18 citations · 18 across the 1 of their papers we have counts for
1 paper
Sven Linker, Martin Hilscher
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 measurem…