Export Citations
2 Results for: Keyword: MLSL
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,815,974 records)|Limit your search to The ACM Full-Text Collection (772,231 records)
Select All
- ArticleSeptember 2022
Spatial and Timing Properties in Highway Traffic
Theoretical Aspects of Computing – ICTAC 2022Pages 114–131https://doi.org/10.1007/978-3-031-17715-6_9AbstractWe introduce Timed Multi-Lane Spatial Logic (TMLSL), a logic to express spatial and timing properties in highway traffic. For this purpose, we combine State-Clock Logic (SCL) and Multi-Lane Spatial Logic with Scopes (MLSLS), using MLSLS formulae ...
- ArticleOctober 2019
Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
Formal Methods. FM 2019 International WorkshopsPages 249–264https://doi.org/10.1007/978-3-030-54994-7_18AbstractAutonomous crossing manoeuvres at intersections are especially challenging. In related work, a crossing controller for provably safe autonomous urban traffic manoeuvres was introduced. We extend this controller by a decentralised communication ...