Treffer: Self-Learning Modeling in Possibilistic Model Checking

Title:
Self-Learning Modeling in Possibilistic Model Checking
Authors:
Liu, W., He, Q., Li, Z., Li, Y.
Source:
IEEE Transactions on Emerging Topics in Computational Intelligence IEEE Trans. Emerg. Top. Comput. Intell. Emerging Topics in Computational Intelligence, IEEE Transactions on. 8(1):264-278 Feb, 2024
Database:
IEEE Xplore Digital Library