• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Games and Winning Strategies

Ralph-Johan Back, Joakim von Wright, Games and Winning Strategies. 53(3), 1995.

Abstract:

Two-person games are modeled as specifications in a language
with
angelic and demonic nondeterminism, and methods of program verification
and transformation are used to reason about games. That a given strategy
is winning can be proved using a variant of the traditional loop
correctness rule. Furthermore, an implementation of the winning strategy
can be derived using equivalence transformations.

Files:

Full publication in PDF-format

BibTeX entry:

@ARTICLE{jBavo95a,
  title = {Games and Winning Strategies},
  author = {Back, Ralph-Johan and Wright, Joakim von},
  volume = {53},
  number = {3},
  year = {1995},
}

Belongs to TUCS Research Unit(s): Software Construction Laboratorium

Edit publication