Analysis of Recursive Game Graphs Using Data Flow Equations

By Kousha Etessami. International Conference on Verification, Model Checking and Abstract Interpretation, 2004

1,054 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications, Computer Vision and Pattern Recognition

View Paper: https://www.semanticscholar.org/paper/ddad29e676654482fa570c01abc19fc8269a455d