Back
  1. Home
  3. Detailled Reference
Request a copy
Contribution to collective works (Parts of books)
Model Checking Logics of Strategic Ability: Complexity
Bulling, N.; Dix, J.; Jamroga, Wojciech
2010 • In Dastani, M.; Hindriks, K.; Meyer, J.-J. (Eds.) Specification and Verification of Multi-Agent Systems
Peer reviewed
Permalink
https://hdl.handle.net/10993/11194
DOI
10.1007/978-1-4419-6984-2_5
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
mcheck10verificationbook.pdf
Author preprint (618.05 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Identifiers :
UNILU:UL-CHAPTER-2011-008
Author, co-author :
Bulling, N.
Dix, J.
Jamroga, Wojciech ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Model Checking Logics of Strategic Ability: Complexity
Publication date :
2010
Main work title :
Specification and Verification of Multi-Agent Systems
Editor :
Dastani, M.
Hindriks, K.
Meyer, J.-J.
Publisher :
Springer
Pages :
125–159
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 18 November 2013

Statistics

Number of views
50 (1 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Scopus citations®
 
59
Scopus citations®
without self-citations
32
OpenCitations
 
12

Bibliography

Similar publications


Contact ORBilu