Tese de Mestrado Integrado em Engenharia Electrotécnica e de Computadores

A Framework for the Runtime Monitoring and Verification of Distributed Automated Cyber-Physical Systems using ROS

Student:	Pedro José Santos Oliveira
Student No.:	201101789
Supervisors:	Armando Jorge Miranda de Sousa

Status:	Concluído
Since:	07-JAN-2021

Start:	27-AGO-2019
Thesis Submission:	31-JUL-2020
Defence:	13-FEV-2020

Thesis Title:	A Framework for the Runtime Monitoring and Verification of Distributed Automated Cyber-Physical Systems using ROS
Provisional Title:	Runtime Monitoring and Verification Framework for Autonomous Cyber-Physical Systems