Eric Mercer, Keith A. Butler, Ali Bahrami. Model Checking Functional Integration of Human Cognition and Machine Reasoning. In IEEE International Systems Conference, SysCon 2022, Montreal, QC, Canada, April 25-28, 2022. pages 1-8, IEEE, 2022. [doi]
Abstract is missing.