Back
  1. Home
  3. STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions - 2021
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
213 (9 by Unilu)
Number of downloads
82 (4 by Unilu)
More statistics
Scopus citations®
 
21
Scopus citations®
without self-citations
6

Bibliography

Similar publications


Contact ORBilu