Hierarchical cost-parity games
Cost-parity games are a fundamental tool in system design for the analysis of reactive and distributed systems that recently have received a lot of attention from the formal methods research community. They allow to reason about the time delay on the requests granted by systems, with a bounded consu...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Schloss Dagstuhl
2017
|