Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book

Springer Nature Switzerland

Attention for Chapter 3: Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 public wall post.

🔬 Proud of Our Researchers 🔬! We are pleased to announce that our researchers have recently received prestigious awards for…

This page shows the most recent Facebook posts that mention this research output.

Click here to find out how to access more activity.