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

Orna Grumberg, Orna Kupferman, Sarai Sheinvald

Browse the full ATVA paper archive.