MV-Checker: A software tool for multi-valued model checking intelligent applications with trust and commitment
Article in Expert Systems with Applications (July 2024)
The most recent citing publications are shown below. View all 308 publications that cite this research output on Dimensions.
Article in Expert Systems with Applications (July 2024)
Book chapter (March 2024)
Article in Modeling and Analysis of Information Systems (March 2024)