Proceedings of the 1st International Conference on Character Education (ICCE 2020)

Student Character Development in Javanese Language Learning Based on The Combination of Google Classroom and Whatsapp Group Using the Discussion Method

Authors
Astrid Wangsagirindra Pudjastawa, Varary Mechwafanitiara Cantika, Suwarna
Corresponding Author
Astrid Wangsagirindra Pudjastawa
Available Online 6 February 2021.
DOI
10.2991/assehr.k.210204.004How to use a DOI?
Keywords
Stochastic model checking, assume-guarantee reasoning, symmetric assume-guarantee rule, learning algorithm, probabilistic automata
Abstract

Stochastic model checking is the extension and generalization of the classical model checking. Compared with classical model checking, stochastic model checking faces more severe state explosion problem, because it combines classical model checking algorithms and numerical methods for calculating probabilities. For dealing with this, we first apply symmetric assume-guarantee rule symmetric (SYM) for two-component systems and symmetric assume-guarantee rule for n-component systems into stochastic model checking in this paper, and propose a compositional stochastic model checking framework of probabilistic automata based on the NL* algorithm. It optimizes the existed compositional stochastic model checking process to draw a conclusion quickly, in cases the system model does not satisfy the quantitative properties. We implement the framework based on the PRISM tool, and several large cases are used to demonstrate the performance of it.

Copyright
© 2021, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 1st International Conference on Character Education (ICCE 2020)
Series
Advances in Social Science, Education and Humanities Research
Publication Date
6 February 2021
ISBN
978-94-6239-329-5
ISSN
2352-5398
DOI
10.2991/assehr.k.210204.004How to use a DOI?
Copyright
© 2021, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Astrid Wangsagirindra Pudjastawa
AU  - Varary Mechwafanitiara Cantika
AU  - Suwarna
PY  - 2021
DA  - 2021/02/06
TI  - Student Character Development in Javanese Language Learning Based on The Combination of Google Classroom and Whatsapp Group Using the Discussion Method
BT  - Proceedings of the 1st International Conference on Character Education (ICCE 2020)
PB  - Atlantis Press
SP  - 30
EP  - 37
SN  - 2352-5398
UR  - https://doi.org/10.2991/assehr.k.210204.004
DO  - 10.2991/assehr.k.210204.004
ID  - Pudjastawa2021
ER  -