An implementation for algorithmic game solving and its applications in system synthesis

Chih-Hong Cheng. An implementation for algorithmic game solving and its applications in system synthesis. PhD thesis, Technical University Munich, 2012. [doi]

Abstract

Abstract is missing.