@inproceedings{DBLP:conf/atal/FerrandoDA0M18,
  author       = {Angelo Ferrando and
                  Louise A. Dennis and
                  Davide Ancona and
                  Michael Fisher and
                  Viviana Mascardi},
  editor       = {Elisabeth Andr{\'{e}} and
                  Sven Koenig and
                  Mehdi Dastani and
                  Gita Sukthankar},
  title        = {Recognising Assumption Violations in Autonomous Systems Verification},
  booktitle    = {Proceedings of the 17th International Conference on Autonomous Agents
                  and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
                  2018},
  pages        = {1933--1935},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  Richland, SC, {USA} / {ACM}},
  year         = {2018},
  url          = {http://dl.acm.org/citation.cfm?id=3238028},
  timestamp    = {Sat, 30 Sep 2023 09:34:53 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/FerrandoDA0M18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FKoygkr9w27TyEXBn","bibbaseid":"ferrando-dennis-ancona-fisher-mascardi-recognisingassumptionviolationsinautonomoussystemsverification-2018","downloads":0,"creationDate":"2018-09-03T10:39:11.678Z","title":"Recognising Assumption Violations in Autonomous Systems Verification","author_short":["Ferrando, A.","Dennis, L. A.","Ancona, D.","Fisher, M.","Mascardi, V."],"year":2018,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Louise","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"editor":[{"firstnames":["Elisabeth"],"propositions":[],"lastnames":["André"],"suffixes":[]},{"firstnames":["Sven"],"propositions":[],"lastnames":["Koenig"],"suffixes":[]},{"firstnames":["Mehdi"],"propositions":[],"lastnames":["Dastani"],"suffixes":[]},{"firstnames":["Gita"],"propositions":[],"lastnames":["Sukthankar"],"suffixes":[]}],"title":"Recognising Assumption Violations in Autonomous Systems Verification","booktitle":"Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018","pages":"1933–1935","publisher":"International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM","year":"2018","url":"http://dl.acm.org/citation.cfm?id=3238028","timestamp":"Sat, 30 Sep 2023 09:34:53 +0200","biburl":"https://dblp.org/rec/conf/atal/FerrandoDA0M18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atal/FerrandoDA0M18,\n author = {Angelo Ferrando and\n Louise A. Dennis and\n Davide Ancona and\n Michael Fisher and\n Viviana Mascardi},\n editor = {Elisabeth Andr{\\'{e}} and\n Sven Koenig and\n Mehdi Dastani and\n Gita Sukthankar},\n title = {Recognising Assumption Violations in Autonomous Systems Verification},\n booktitle = {Proceedings of the 17th International Conference on Autonomous Agents\n and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,\n 2018},\n pages = {1933--1935},\n publisher = {International Foundation for Autonomous Agents and Multiagent Systems\n Richland, SC, {USA} / {ACM}},\n year = {2018},\n url = {http://dl.acm.org/citation.cfm?id=3238028},\n timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},\n biburl = {https://dblp.org/rec/conf/atal/FerrandoDA0M18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ferrando, A.","Dennis, L. A.","Ancona, D.","Fisher, M.","Mascardi, V."],"editor_short":["André, E.","Koenig, S.","Dastani, M.","Sukthankar, G."],"key":"DBLP:conf/atal/FerrandoDA0M18","id":"DBLP:conf/atal/FerrandoDA0M18","bibbaseid":"ferrando-dennis-ancona-fisher-mascardi-recognisingassumptionviolationsinautonomoussystemsverification-2018","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=3238028"},"metadata":{"authorlinks":{"ferrando, a":"https://angeloferrando.github.io/website/"}},"downloads":0},"search_terms":["recognising","assumption","violations","autonomous","systems","verification","ferrando","dennis","ancona","fisher","mascardi"],"keywords":[],"authorIDs":["L4cWiFkGZBSbk8JHm"],"dataSources":["77JvGFZQteoFsRiyX","sf65xF3tXwz6TBuoQ","jkPac6coMCnfPS9v6","iqRbmbCgpDeaBjend","PxcFZJ2oyR7SFv6tr","hbmDF3mowSFP7RzLi","X6oai84Gqtg82PfJ8","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"]}