Publication:2852361
From MaRDI portal
zbMath1273.68230MaRDI QIDQ2852361
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106002039
91A80: Applications of game theory
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
EXPTIME-complete Decision Problems for Modal and Mixed Specifications, Complexity of Decision Problems for Mixed and Modal Specifications, On model checking multiple hybrid views