Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.
Angelo FerrandoLouise A. DennisRafael C. CardosoMichael FisherDavide AnconaViviana MascardiPublished in: ACM Trans. Softw. Eng. Methodol. (2021)
Keyphrases
- cognitive systems
- cognitive processes
- complex environments
- cognitive robotics
- artificial cognitive systems
- cognitive science
- autonomous agents
- model checking
- cooperative
- signature verification
- formal verification
- play a crucial role
- autonomous systems
- robotic systems
- higher level
- mobile robot
- database systems
- asynchronous circuits
- autonomous learning
- artificial intelligence
- machine learning