Logic-Based Program Synthesis and Transformation

Overview of attention for book

Springer International Publishing

Attention for Chapter 13: Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 news story.

:::info This paper is available on arxiv under CC 4.0 license. Authors: (1) Falke B.

This page shows the most recent news stories that mention this research output.

Click here to find out how to access more activity.