Abstract Interpretation of Game Properties.

Thomas A. Henzinger Rupak Majumdar Freddy Y. C. Mang Jean-François Raskin

Published in: SAS (2000)

Keyphrases

abstract interpretation
termination analysis
agent model