Paper published in a book (Scientific congresses, symposiums and conference proceedings)
STV: Model Checking for Strategies under Imperfect Information
Kurpiewski, Damian; Jamroga, Wojciech; Knapik, Micha L
2019In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019
Peer reviewed
 

Files


Full Text
domino-demo19aamas[1].pdf
Author preprint (762.93 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Kurpiewski, Damian
Jamroga, Wojciech ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Knapik, Micha L
External co-authors :
yes
Language :
English
Title :
STV: Model Checking for Strategies under Imperfect Information
Publication date :
2019
Event name :
18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019
Event date :
May 2019
Audience :
International
Main work title :
Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019
Publisher :
IFAAMAS
Pages :
2372--2374
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 21 January 2020

Statistics


Number of views
45 (2 by Unilu)
Number of downloads
111 (0 by Unilu)

Scopus citations®
 
15
Scopus citations®
without self-citations
6
WoS citations
 
7

Bibliography


Similar publications



Contact ORBilu