@inproceedings{DBLP:journals/corr/abs-2411-14368,
  author       = {Andrea Gatti and
                  Viviana Mascardi and
                  Angelo Ferrando},
  editor       = {Matt Luckcuck and
                  Mengwei Xu},
  title        = {RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?},
  booktitle    = {Proceedings Sixth International Workshop on Formal Methods for Autonomous
                  Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November
                  2024},
  series       = {{EPTCS}},
  volume       = {411},
  pages        = {73--90},
  year         = {2024},
  url          = {https://doi.org/10.4204/EPTCS.411.5},
  doi          = {10.4204/EPTCS.411.5},
  timestamp    = {Wed, 29 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2411-14368.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"DtiPeMAauEQfiBxSx","bibbaseid":"gatti-mascardi-ferrando-rv4chatbotarechatbotsallowedtodreamofelectricsheep-2024","author_short":["Gatti, A.","Mascardi, V.","Ferrando, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Andrea"],"propositions":[],"lastnames":["Gatti"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]}],"editor":[{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Mengwei"],"propositions":[],"lastnames":["Xu"],"suffixes":[]}],"title":"RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?","booktitle":"Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024","series":"EPTCS","volume":"411","pages":"73–90","year":"2024","url":"https://doi.org/10.4204/EPTCS.411.5","doi":"10.4204/EPTCS.411.5","timestamp":"Wed, 29 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2411-14368.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:journals/corr/abs-2411-14368,\n author = {Andrea Gatti and\n Viviana Mascardi and\n Angelo Ferrando},\n editor = {Matt Luckcuck and\n Mengwei Xu},\n title = {RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?},\n booktitle = {Proceedings Sixth International Workshop on Formal Methods for Autonomous\n Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November\n 2024},\n series = {{EPTCS}},\n volume = {411},\n pages = {73--90},\n year = {2024},\n url = {https://doi.org/10.4204/EPTCS.411.5},\n doi = {10.4204/EPTCS.411.5},\n timestamp = {Wed, 29 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2411-14368.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gatti, A.","Mascardi, V.","Ferrando, A."],"editor_short":["Luckcuck, M.","Xu, M."],"key":"DBLP:journals/corr/abs-2411-14368","id":"DBLP:journals/corr/abs-2411-14368","bibbaseid":"gatti-mascardi-ferrando-rv4chatbotarechatbotsallowedtodreamofelectricsheep-2024","role":"author","urls":{"Paper":"https://doi.org/10.4204/EPTCS.411.5"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6","dSTqpyEaPCWsesWxF","X6oai84Gqtg82PfJ8"],"keywords":[],"search_terms":["rv4chatbot","chatbots","allowed","dream","electric","sheep","gatti","mascardi","ferrando"],"title":"RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep?","year":2024}