Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems

Linas Laibinis, Inna Pereverzeva, Elena Troubitsyna

    Research output: Book/Journal/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