Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California

First Page		Document Content
Date: 2014-03-05 17:31:43		Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California Add to Reading List Source URL: www.cis.upenn.edu Download Document from Source Website File Size: 307,07 KB Share Document on Facebook