STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions

Kurpiewski, Damian; Pazderski, Witold; JAMROGA, Wojciech; KIM, Yan

Télécharger

Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)

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

Permalien
https://hdl.handle.net/10993/49342

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

stv-demo-cameraready.pdf

Postprint Éditeur (89.72 kB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Centre de recherche :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA)

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions

Date de publication/diffusion :

2021

Nom de la manifestation :

AAMAS 2021

Date de la manifestation :

May 2021

Manifestation à portée :

International

Titre de l'ouvrage principal :

Proceedings of AAMAS

Maison d'édition :

ACM

Pagination :

1770--1772

Peer reviewed :

Peer reviewed

Focus Area :

Computational Sciences
Security, Reliability and Trust

Projet FnR :

FNR12685695 - Socio-technical Verification Of Information Security And Trust In Voting Systems, 2018 (01/09/2019-31/08/2022) - Peter Y. A. Ryan

Disponible sur ORBilu :

depuis le 07 janvier 2022

Statistiques

Nombre de vues

147 (dont 9 Unilu)

Nombre de téléchargements

68 (dont 4 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations