A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
10.1109/ACCESS.2019.2924639
Saved in:
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Published: |
Institute of Electrical and Electronics Engineers Inc.
2021
|
| Subjects: | |
| Online Access: | https://scholarbank.nus.edu.sg/handle/10635/210066 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-210066 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-2100662024-04-17T08:55:37Z A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm Ma, Y. Cao, Z. Liu, Y. DEPARTMENT OF COMPUTER SCIENCE counterexample genetic algorithm interface alphabet Probabilistic assume-guarantee reasoning stochastic model checking 10.1109/ACCESS.2019.2924639 IEEE Access 7 83839-83851 2021-12-09T04:58:23Z 2021-12-09T04:58:23Z 2019 Article Ma, Y., Cao, Z., Liu, Y. (2019). A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm. IEEE Access 7 : 83839-83851. ScholarBank@NUS Repository. https://doi.org/10.1109/ACCESS.2019.2924639 2169-3536 https://scholarbank.nus.edu.sg/handle/10635/210066 Attribution-NonCommercial-NoDerivatives 4.0 International https://creativecommons.org/licenses/by-nc-nd/4.0/ Institute of Electrical and Electronics Engineers Inc. Scopus OA2019 |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| topic |
counterexample genetic algorithm interface alphabet Probabilistic assume-guarantee reasoning stochastic model checking |
| spellingShingle |
counterexample genetic algorithm interface alphabet Probabilistic assume-guarantee reasoning stochastic model checking Ma, Y. Cao, Z. Liu, Y. A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm |
| description |
10.1109/ACCESS.2019.2924639 |
| author2 |
DEPARTMENT OF COMPUTER SCIENCE |
| author_facet |
DEPARTMENT OF COMPUTER SCIENCE Ma, Y. Cao, Z. Liu, Y. |
| format |
Article |
| author |
Ma, Y. Cao, Z. Liu, Y. |
| author_sort |
Ma, Y. |
| title |
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm |
| title_short |
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm |
| title_full |
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm |
| title_fullStr |
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm |
| title_full_unstemmed |
A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm |
| title_sort |
probabilistic assume-guarantee reasoning framework based on genetic algorithm |
| publisher |
Institute of Electrical and Electronics Engineers Inc. |
| publishDate |
2021 |
| url |
https://scholarbank.nus.edu.sg/handle/10635/210066 |
| _version_ |
1800915206715473920 |