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 313 publications that cite this research output on Dimensions.
Article in Expert Systems with Applications (July 2024)
Article in Royal Society Open Science (May 2024)
Article in Journal of Mathematical Sciences (May 2024)