@inproceedings{DBLP:conf/ifm/XuRAS23,
  author       = {Mengwei Xu and
                  Thibault Rivoalen and
                  Blair Archibald and
                  Michele Sevegnani},
  editor       = {Paula Herber and
                  Anton Wijs},
  title        = {CAN-verify: {A} Verification Tool For {BDI} Agents},
  booktitle    = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
                  November 13-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14300},
  pages        = {364--373},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-47705-8\_19},
  doi          = {10.1007/978-3-031-47705-8\_19},
  timestamp    = {Fri, 17 Nov 2023 16:25:42 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/XuRAS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}