A Game-Theoretic Approach to Simulation of Data-Parameterized Systems
From MaRDI portal
Publication:3457808
DOI10.1007/978-3-319-11936-6_25zbMath1448.68300OpenAlexW995906553MaRDI QIDQ3457808
Orna Grumberg, Sarai Sheinvald, Orna Kupferman
Publication date: 17 December 2015
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-11936-6_25
Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (2)
On temporal logics with data variable quantifications: decidability and complexity ⋮ An automata-theoretic approach to model-checking systems and specifications over infinite data domains
This page was built for publication: A Game-Theoretic Approach to Simulation of Data-Parameterized Systems
