Monotonic and Downward Closed Games

DOI10.1093/logcom/exm062zbMath1133.68042OpenAlexW2098675564MaRDI QIDQ5450572

Ahmed Bouajjani, Julien d'Orso, Parosh Aziz Abdulla

Publication date: 12 March 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/0baf9f954be0f7cc614017d0634e59e6a68d0dd8

zbMATH Keywords

Petri netslossy channel systemsvector addition systemsinfinite-state games

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

On decidability and complexity of low-dimensional robot games ⋮ Playing with Repetitions in Data Words Using Energy Games ⋮ The ideal view on Rackoff's coverability technique ⋮ Qualitative Analysis of VASS-Induced MDPs

This page was built for publication: Monotonic and Downward Closed Games