Strategy Logic

Chatterjee, K.; Henzinger, T.A.; Piterman, N.

Strategy Logic (bibtex)

@string{ic="Information and Computation"}
@string{jun="June"}
@Article{CHP10,
  author = 	 {K. Chatterjee and T.A. Henzinger and N. Piterman},
  title = 	 {Strategy Logic},
  journal =   ic,
  year = {2010},
  volume = {208},
  number = {6},
  pages =  {677-693},
  pdf = {2010/CHP10.pdf},
  url = {2010/CHP10.html},  
  month =  jun,
  keywords = {Synthesis,Games},
}