Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties Journal Articles uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

authors

  • Menghi, Claudio
  • Tsigkanos, Christos
  • Askarpour, Mehrnoosh
  • Pelliccione, Patrizio
  • Vázquez, Gricel
  • Calinescu, Radu
  • García, Sergio

publication date

  • April 1, 2023