Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

Schwammberger, Maike

doi:10.4204/eptcs.257.7

Cited by 4 publications

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The logic MLSL and its dedicated abstract model was extended for country roads with oncoming traffic [12] and urban traffic scenarios with intersecting lanes [14,27]. The authors informally introduced respective controllers for safe lane change manoeuvres and safe turning manoeuvres at intersections.…”

Section: Introductionmentioning

confidence: 99%

Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL

Schwammberger

2018

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

With Multi-lane Spatial Logic (MLSL) a powerful approach to formally reason about and prove safety of autonomous traffic manoeuvres was introduced. Extended timed automata controllers using MLSL were constructed to commit safe lane change manoeuvres on highways. However, the approach has only few implementation and verification results. We thus strenghen the MLSL approach by implementing their lane change controller in UPPAAL and confirming the safety of the lane change protocol. We also detect the unlive behaviour of the original controller and thus extend it to finally verify liveness of the new lane change controller.

show abstract

Section: Introductionmentioning

confidence: 99%

Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL

Schwammberger

2018

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

show abstract

“…However, their goal is analysing meta properties, such as ambiguity of traffic rules, rather than automation. Urban MLSL is an extension of MLSL that allows for logical reasoning about traffic scenarios in an urban setting [12,20].…”

mentioning

confidence: 99%

Monitoring of Traffic Manoeuvres with Imprecise Information

Ody¹

2017

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

In monitoring, we algorithmically check if a single behavior satisfies a property. Here, we consider monitoring for Multi-Lane Spatial Logic (MLSL). The behavior is given as a finite transition sequence of MLSL and the property is that a spatial MLSL formula should hold at every point in time within the sequence. In our procedure we transform the transition sequence and the formula to the first-order theory of real-closed fields, which is decidable, such that the resulting formula is valid iff the MLSL formula holds throughout the transition sequence. We then assume that temporal data may have an error of up to $\varepsilon$, and that spatial data may have an error of up to $\delta$. We extend our procedure to check if the MLSL formula $\varepsilon$-$\delta$-robustly holds throughout the transition sequence.Comment: In Proceedings FVAV 2017, arXiv:1709.0212

show abstract

A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres

Schwammberger¹

2021

2021 IEEE 29th International Requirements Engineering Conference Workshops (REW)

View full text Add to dashboard Cite

Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

Cited by 4 publications

References 22 publications

Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL

Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL

Monitoring of Traffic Manoeuvres with Imprecise Information

A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres

Contact Info

Product

Resources

About