56 citations · 87 across the 18 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024
Digging for Decision Trees: A Case Study in Strategy Sampling and Learning
Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns
We introduce a formal model of transportation in an open-pit mine for the purpose of optimising the mine's operations. The model is a network of Markov automata (MA); the optimisat…
cs.FL2019
A compositional semantics for Repairable Fault Trees with general distributions
Raul E. Monti, Pedro R. D'Argenio, Carlos E. Budde
Fault Tree Analysis (FTA) is a prominent technique in industrial and scientific risk assessment. Repairable Fault Trees (RFT) enhance the classical Fault Tree (FT) model by introdu…