Strategy logic

By Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman. Information and Computation, 2007

346 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

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