Proceedings of the 2021 3rd International Conference on Economic Management and Cultural Industry (ICEMCI 2021)

Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning

Authors
Yisong Tan1, a
1School Chongqing University of Technology, Chongqing 401135, China
a*Corresponding author. Email: tanyisong2000@163.com
Corresponding Author
Yisong Tan
Available Online 15 December 2021.
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)

Volume Title
Proceedings of the 2021 3rd International Conference on Economic Management and Cultural Industry (ICEMCI 2021)
Series
Advances in Economics, Business and Management Research
Publication Date
15 December 2021
ISBN
978-94-6239-483-4
ISSN
2352-5428
DOI
10.2991/assehr.k.211209.288How to use a DOI?
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.

Cite this article

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  -