A Game-Theoretic Approach to Simulation of Data-Parameterized Systems

DOI10.1007/978-3-319-11936-6_25MaRDI QIDQ3457808zbMATH OpenOpenAlexFDO

Authors Orna Grumberg, Orna Kupferman, Sarai Sheinvald

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

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80)

Recommendations

• A game-theoretic approach for the synthesis of complex systems
• A game approach to the parametric control of real-time systems
• Simulation of a random variable and its application to game theory
• Modeling large scale and complex infrastructure systems as computable games
• Simulation Hemi-metrics between Infinite-State Stochastic Games
• scientific article; zbMATH DE number 3887573
• scientific article; zbMATH DE number 5578194
• Optimization and dynamical systems algorithms for finding equilibria of stochastic games
• Quantitative verification and strategy synthesis for stochastic games
• Algorithms for payoff trajectories in \(C^1\) parametric games

Cited in

(4)

• Design of rational data exchange procedures in the hierarchical two-player game: A parametric formulation
• An automata-theoretic approach to model-checking systems and specifications over infinite data domains
• On temporal logics with data variable quantifications: decidability and complexity
• scientific article; zbMATH DE number 2086521 (Why is no real title available?)

This page was built for publication: A Game-Theoretic Approach to Simulation of Data-Parameterized Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457808)