Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book

Springer Nature Switzerland

Altmetric Badge

Book Overview
Altmetric Badge

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

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

twitter: 2 X users

facebook: 1 Facebook page

Summary X Facebook

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 3,708 followers.

A comprehensive specification and verification of the L4 microkernel API. ~ Leping Zhang, Yongwang Zhao, Jianxin Li. https://t.co/CVbdOjaGg6 #ITP #IsabelleHOL

07 Apr 2024

Reply Repost Favourite

Try it yourself at https://t.co/HiaI2gwWO6 (psst, it also has a Python interface, so you can just $ pip install libmata ). https://t.co/DbrY2pEo1r

06 Apr 2024

Reply Repost Favourite

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

Click here to find out how to access more activity.

Tools and Algorithms for the Construction and Analysis of Systems

Table of Contents

Mentioned by