Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning

DOI

10.2991/assehr.k.211209.288How to use a DOI?

Keywords

Risk management; Hydropower project; International construction; Case study

Abstract

Under the environment of globalization, the international construction projects are implemented more and more frequently and the risks the international construction companies may take are various as the Chinese “One Belt, one Road” strategy expands more deeply. Therefore, this study aims to analyze what kind of risks may show up and discuss the methods to prevent and tackle with risks by studying two cases on the area of international Hydropower projects in Turkey and Laos, respectively. From reviewing the previous research and by comparing the Biregik Dam in turkey with the Theun Hinboun Hydropower Project in Laos, this study concludes that the risks from the several aspects should be buffered by using the corresponding strategies.

Copyright

© 2021 The Authors. Published by Atlantis Press International B.V.

Open Access

This is an open access article under the CC BY-NC license.

Download article (PDF)

TY  - CONF
AU  - Yisong Tan
PY  - 2021
DA  - 2021/12/15
TI  - Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
BT  - Proceedings of the 2021 3rd International Conference on Economic Management and Cultural Industry (ICEMCI 2021)
PB  - Atlantis Press
SP  - 1780
EP  - 1783
SN  - 2352-5428
UR  - https://doi.org/10.2991/assehr.k.211209.288
DO  - 10.2991/assehr.k.211209.288
ID  - Tan2021
ER  -