Reference : STV: Model Checking for Strategies under Imperfect Information
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/41797
STV: Model Checking for Strategies under Imperfect Information
English
Kurpiewski, Damian [> >]
Jamroga, Wojciech mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
Knapik, Micha L [> >]
2019
Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019
IFAAMAS
2372--2374
Yes
International
18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019
May 2019
http://hdl.handle.net/10993/41797

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
domino-demo19aamas[1].pdfAuthor preprint745.05 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.