Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna

Research output: Book/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)978-952-12-3207-7
Publication statusPublished - 2015
MoE publication typeD4 Published development or research report or study

Cite this