Modelling Autonomous Resilient Multi-robotic Systems

Inna Vistbakka, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)
Original languageUndefined/Unknown
Title of host publicationSoftware Engineering for Resilient Systems
EditorsRadu Calinescu, Felicita Di Giandomenico
PublisherSpringer
Pages29–45
ISBN (Electronic)978-3-030-30856-8
ISBN (Print)978-3-030-30855-1
DOIs
Publication statusPublished - 2019
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Software Engineering for Resilient Systems - 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019
Duration: 17 Sep 201917 Sep 2019

Conference

ConferenceInternational Workshop on Software Engineering for Resilient Systems
Period17/09/1917/09/19

Keywords

  • Event-B
  • Formal reasoning
  • Formal verification
  • Multi-robotic Systems
  • System resilience
  • formal modelling

Cite this