Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty. (Contributions théoriques et algorithmiques pour l'analyse de propriétés de sûreté et de sécurité dans les systèmes temporisés sous incertitude)

Dylan Marinho. Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty. (Contributions théoriques et algorithmiques pour l'analyse de propriétés de sûreté et de sécurité dans les systèmes temporisés sous incertitude). PhD thesis, University of Lorraine, Nancy, France, 2023. [doi]