Model Checking Functional Integration of Human Cognition and Machine Reasoning
| Title: | Model Checking Functional Integration of Human Cognition and Machine Reasoning |
|---|---|
| Authors: | Mercer, Eric; Butler, Keith; Bahrami, Ali |
| Source: | 2022 IEEE International Systems Conference (SysCon) Systems Conference (SysCon), 2022 IEEE International. :1-8 Apr, 2022 |
| Relation: | 2022 IEEE International Systems Conference (SysCon) |
| Database: | IEEE Xplore Digital Library |