Back
  1. Home
  3. Detailled Reference
Download
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Kurpiewski, Damian; Pazderski, Witold; Jamroga, Wojciech et al.
2021 • In Proceedings of AAMAS
Peer reviewed
Permalink
https://hdl.handle.net/10993/49342
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
stv-demo-cameraready.pdf
Publisher postprint (89.72 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA)
Disciplines :
Computer science
Author, co-author :
Kurpiewski, Damian
Pazderski, Witold
Jamroga, Wojciech ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA
Kim, Yan ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA
External co-authors :
yes
Language :
English
Title :
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Publication date :
2021
Event name :
AAMAS 2021
Event date :
May 2021
Audience :
International
Main work title :
Proceedings of AAMAS
Publisher :
ACM
Pages :
1770--1772
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
Security, Reliability and Trust
FnR Project :
FNR12685695 - Socio-technical Verification Of Information Security And Trust In Voting Systems, 2018 (01/09/2019-31/08/2022) - Peter Y. A. Ryan
Available on ORBilu :
since 07 January 2022

Statistics

Number of views
66 (8 by Unilu)
Number of downloads
47 (4 by Unilu)
More statistics
Scopus citations®
 
11
Scopus citations®
without self-citations
1

Bibliography

Similar publications


Contact ORBilu