Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Reasoning about Strategies: From module checking to strategy logic Aniello Murano based on joint works with Fabio Mogavero, Giuseppe Perelli, Luigi Sauro, and Moshe Y. Vardi
Add to Reading List
Document Date: 2013-12-08 11:30:17
Open Document
File Size: 423,97 KB
Share Result on Facebook
Reasoning about Strategies: From module checking to strategy logic Aniello Murano based on joint works with Fabio Mogavero, Giuseppe Perelli, Luigi Sauro, and Moshe Y. Vardi