@inproceedings{FerrandoDA0M18,
  author    = {Angelo Ferrando and Louise A.~Dennis and Davide Ancona and Michael Fisher and Viviana Mascardi},
  title     = "{Recognising Assumption Violations in Autonomous Systems Verification}",
  booktitle = {Proc. 17th International Conference on Autonomous Agents
               and MultiAgent Systems (AAMAS)},
  pages     = {1933--1935},
  year      = {2018},
  publisher = {IFAAMAS/ACM},
  url       = {http://dl.acm.org/citation.cfm?id=3238028},
  timestamp = {Mon, 16 Jul 2018 09:21:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/FerrandoDA0M18},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  note = {[<span class="fairspace">FAIR-SPACE</span>, <span class="rain">RAIN</span>]}
}

{"_id":"4jJb3MaAuhcZLhnsL","bibbaseid":"ferrando-adennis-ancona-fisher-mascardi-recognisingassumptionviolationsinautonomoussystemsverification-2018","downloads":0,"creationDate":"2018-12-06T15:06:14.240Z","title":"Recognising Assumption Violations in Autonomous Systems Verification","author_short":["Ferrando, A.","A.~Dennis, L.","Ancona, D.","Fisher, M.","Mascardi, V."],"year":2018,"bibtype":"inproceedings","biburl":"https://autonomy-and-verification-uol.github.io/hubpubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Louise"],"propositions":[],"lastnames":["A.~Dennis"],"suffixes":[]},{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"title":"Recognising Assumption Violations in Autonomous Systems Verification","booktitle":"Proc. 17th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS)","pages":"1933–1935","year":"2018","publisher":"IFAAMAS/ACM","url":"http://dl.acm.org/citation.cfm?id=3238028","timestamp":"Mon, 16 Jul 2018 09:21:17 +0200","biburl":"https://dblp.org/rec/bib/conf/atal/FerrandoDA0M18","bibsource":"dblp computer science bibliography, https://dblp.org","note":"[<span class=\"fairspace\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>]","bibtex":"@inproceedings{FerrandoDA0M18,\n author = {Angelo Ferrando and Louise A.~Dennis and Davide Ancona and Michael Fisher and Viviana Mascardi},\n title = \"{Recognising Assumption Violations in Autonomous Systems Verification}\",\n booktitle = {Proc. 17th International Conference on Autonomous Agents\n and MultiAgent Systems (AAMAS)},\n pages = {1933--1935},\n year = {2018},\n publisher = {IFAAMAS/ACM},\n url = {http://dl.acm.org/citation.cfm?id=3238028},\n timestamp = {Mon, 16 Jul 2018 09:21:17 +0200},\n biburl = {https://dblp.org/rec/bib/conf/atal/FerrandoDA0M18},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n note = {[<span class=\"fairspace\">FAIR-SPACE</span>, <span class=\"rain\">RAIN</span>]}\n}\n\n","author_short":["Ferrando, A.","A.~Dennis, L.","Ancona, D.","Fisher, M.","Mascardi, V."],"key":"FerrandoDA0M18","id":"FerrandoDA0M18","bibbaseid":"ferrando-adennis-ancona-fisher-mascardi-recognisingassumptionviolationsinautonomoussystemsverification-2018","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=3238028"},"downloads":0,"html":""},"search_terms":["recognising","assumption","violations","autonomous","systems","verification","ferrando","a.~dennis","ancona","fisher","mascardi"],"keywords":[],"authorIDs":[],"dataSources":["FoK8CAiSSBYifiy8q"]}