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...
| Päätekijät: | , , , |
|---|---|
| Aineistotyyppi: | Conference item |
| Julkaistu: |
Schloss Dagstuhl
2017
|