Reference : STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences; Security, Reliability and Trust
http://hdl.handle.net/10993/49342
STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
English
Kurpiewski, Damian [> >]
Pazderski, Witold [> >]
Jamroga, Wojciech mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA]
Kim, Yan mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA]
2021
Proceedings of AAMAS
ACM
1770--1772
Yes
International
AAMAS 2021
May 2021
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA)
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/49342
FnR ; FNR12685695 > Peter Y. A. Ryan > STV > Socio-technical Verification Of Information Security And Trust In Voting Systems > 01/09/2019 > 31/08/2022 > 2018

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
stv-demo-cameraready.pdfPublisher postprint87.62 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.