Probabilistic model checking and Markov decision processes (MDPs) form two interlinked branches of formal analysis for systems operating under uncertainty. These techniques offer a mathematical ...

The design and construction of capital projects can be extremely complex. Uncertainty and risk add to this complexity and, as a result, many projects experience significant cost overruns and schedule ...

Project Delivery Methods have expanded dramatically. The integration of design and construction on projects can reduce the project schedule and allow for construction and property management input ...

The objective of the event is to provide the participants with an opportunity to share experiences and discuss challenges related to the use of PSA in the design and in design evaluation of nuclear ...