BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Formalization and Runtime Verification of Invariants for Robotic Systems

Participants in the publication
Cordeiro, Ricardo Jorge Dias (Author)
Fonseca, Alcides Miguel Cachulo Aguiar (Adviser)
Dep. Informática
LASIGE
Timperley, Christopher Steven (Adviser)

Date of Submisson/Request
2022
Date of Publication
2023

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - http://hdl.handle.net/10451/56936
TID - 203493729


Export

APA
Cordeiro, Ricardo Jorge Dias, (2023). Formalization and Runtime Verification of Invariants for Robotic Systems. http://hdl.handle.net/10451/56936 Fonseca, Alcides Miguel Cachulo Aguiar, Timperley, Christopher Steven,

IEEE
Cordeiro, Ricardo Jorge Dias, "Formalization and Runtime Verification of Invariants for Robotic Systems", 2023.

BIBTEX
@MastersThesis{58223, author = {Cordeiro, Ricardo Jorge Dias}, title = {Formalization and Runtime Verification of Invariants for Robotic Systems}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2023}, OPTtype = {Documentos Académicos} }