Formal reasoning about resilient goal-oriented multi-agent systems

Inna Vistbakka, I. Pereverzeva, Elena Troubitsyna

Research output: Contribution to journalArticleScientificpeer-review

9 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)66–87
JournalScience of Computer Programming
Volume148
DOIs
Publication statusPublished - 2017
MoE publication typeA1 Journal article-refereed

Keywords

  • System resilience
  • multi-agent systems
  • Event-B
  • Formal reasoning
  • Goal-oriented development

Cite this