• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Integrating Formal Development and Quantitative Assessment for a Resilient Multi-Robotic System

Inna Pereverzeva, Anton Tarasyuk, Linas Laibinis, Integrating Formal Development and Quantitative Assessment for a Resilient Multi-Robotic System. TUCS Technical Reports 1134, 2015.

BibTeX entry:

@TECHREPORT{tPeTaLa15a,
  title = {Integrating Formal Development and Quantitative Assessment for a Resilient Multi-Robotic System},
  author = {Pereverzeva, Inna and Tarasyuk, Anton and Laibinis, Linas},
  number = {1134},
  series = {TUCS Technical Reports},
  year = {2015},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Edit publication