Xu, M. , Rivoalen, T., Archibald, B. and Sevegnani, M. (2023) CAN-verify: A Verification Tool for BDI Agents. In: 8th International Conference on integrated Formal Methods (iFM 2023), Leiden, The Netherlands, 13-15 November 2023, (Accepted for Publication)
![[img]](https://eprints.gla.ac.uk/style/images/fileicons/text.png) |
Text
306527.pdf - Accepted Version Restricted to Repository staff only 578kB |
| Item Type: | Conference Proceedings |
|---|---|
| Additional Information: | This work is supported by the Engineering and Physical Sciences Research Council, under grants EP/S035362/1, EP/W01081X/1, EP/V026801, and an Amazon Research Award on Automated Reasoning. |
| Status: | Accepted for Publication |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Xu, Dr Mengwei and Sevegnani, Dr Michele and Archibald, Dr Blair |
| Authors: | Xu, M., Rivoalen, T., Archibald, B., and Sevegnani, M. |
| College/School: | College of Science and Engineering > School of Computing Science |
| Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record
Deposit and Record Details
Deposit and Record Details