activity
20102026
most citedRobust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions

32 citations · 189 across the 41 of their papers we have counts for

collaborators
Showing 2024Show all

8 papers · 1 filter

cs.AI2024★ 2 cited

WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs

Stefano M. Nicoletti, E. Moritz Hahn, Mattia Fumagalli +2

When considering risky events or actions, we must not downplay the role of involved objects: a charged battery in our phone averts the risk of being stranded in the desert after a…

cs.CR2024★ 1 cited

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga +2

The landscape of cyber threats grows more complex by the day. Advanced Persistent Threats carry out attack campaigns - e.g. operations Dream Job, Wocao, and WannaCry - against whic…

cs.LG2024★ 6 cited

Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning

Lisandro A. Jimenez-Roa, Thiago D. Simão, Zaharah Bukhsh +4

Large-scale infrastructure systems are crucial for societal welfare, and their effective management requires strategic forecasting and intervention methods that account for various…

stat.ME2024

Comparing Homogeneous And Inhomogeneous Time Markov Chains For Modelling Degradation In Sewer Pipe Networks

Lisandro A. Jimenez-Roa, Tiedo Tinga, Tom Heskes +1

Sewer pipe systems are essential for social and economic welfare. Managing these systems requires robust predictive models for degradation behaviour. This study focuses on probabil…

cs.AI2024

Fuzzy Fault Trees Formalized

Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga

Fault tree analysis is a vital method of assessing safety risks. It helps to identify potential causes of accidents, assess their likelihood and severity, and suggest preventive me…

cs.LO2024

Querying Fault and Attack Trees: Property Specification on a Water Network

Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, E. Moritz Hahn +1

We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). The…