12 citations · 30 across the 5 of their papers we have counts for
1 paper · 1 filter
Maike Schwammberger
Urban Multi-lane Spatial Logic (UMLSL) was introduced in [13] for proving safety (collision freedom) in autonomous urban traffic manoeuvres with perfect knowledge. We now consider…