A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm

10.1109/ACCESS.2019.2924639

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Ma, Y., Cao, Z., Liu, Y.
مؤلفون آخرون:	DEPARTMENT OF COMPUTER SCIENCE
التنسيق:	مقال
منشور في:	Institute of Electrical and Electronics Engineers Inc. 2021
الموضوعات:	counterexample genetic algorithm interface alphabet Probabilistic assume-guarantee reasoning stochastic model checking
الوصول للمادة أونلاين:	https://scholarbank.nus.edu.sg/handle/10635/210066
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
المؤسسة:	National University of Singapore

مواد مشابهة