Reasoning About Strategies
Work
Year: 2014
Type: article
Abstract: In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the system no matter how the ... more
Institutions University of Naples Federico II, Rice University
Cites: 75
Cited by: 186
Related to: 10
FWCI: 18.49
Citation percentile (by year/subfield): 99.99
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green