Practical Verification of Decision-Making in Agent-Based Autonomous Systems. Dennis, L. A., Fisher, M., Lincoln, N., Lisitsa, A., & Veres, S. M. Automated Software Engineering, 2014. bibtex @article{DennisFLLV14,
Author = {Louise A. Dennis and Michael Fisher and Nicholas Lincoln and Alexei Lisitsa and Sandor M. Veres},
Date-Added = {2016-01-21 13:32:00 +0000},
Date-Modified = {2016-01-21 13:35:59 +0000},
Journal = {{Automated Software Engineering}},
Pages = {1--55},
Title = {{Practical Verification of Decision-Making in Agent-Based Autonomous Systems}},
Year = {2014}}
Downloads: 0
{"_id":"erFr8TPW2L9Zfi8EJ","bibbaseid":"dennis-fisher-lincoln-lisitsa-veres-practicalverificationofdecisionmakinginagentbasedautonomoussystems-2014","authorIDs":[],"author_short":["Dennis, L. A.","Fisher, M.","Lincoln, N.","Lisitsa, A.","Veres, S. M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Louise","A."],"propositions":[],"lastnames":["Dennis"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Nicholas"],"propositions":[],"lastnames":["Lincoln"],"suffixes":[]},{"firstnames":["Alexei"],"propositions":[],"lastnames":["Lisitsa"],"suffixes":[]},{"firstnames":["Sandor","M."],"propositions":[],"lastnames":["Veres"],"suffixes":[]}],"date-added":"2016-01-21 13:32:00 +0000","date-modified":"2016-01-21 13:35:59 +0000","journal":"Automated Software Engineering","pages":"1–55","title":"Practical Verification of Decision-Making in Agent-Based Autonomous Systems","year":"2014","bibtex":"@article{DennisFLLV14,\n\tAuthor = {Louise A. Dennis and Michael Fisher and Nicholas Lincoln and Alexei Lisitsa and Sandor M. Veres},\n\tDate-Added = {2016-01-21 13:32:00 +0000},\n\tDate-Modified = {2016-01-21 13:35:59 +0000},\n\tJournal = {{Automated Software Engineering}},\n\tPages = {1--55},\n\tTitle = {{Practical Verification of Decision-Making in Agent-Based Autonomous Systems}},\n\tYear = {2014}}\n\n","author_short":["Dennis, L. A.","Fisher, M.","Lincoln, N.","Lisitsa, A.","Veres, S. M."],"key":"DennisFLLV14","id":"DennisFLLV14","bibbaseid":"dennis-fisher-lincoln-lisitsa-veres-practicalverificationofdecisionmakinginagentbasedautonomoussystems-2014","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.dcs.gla.ac.uk/research/S4/publications_refs/S4_biblio.bib","creationDate":"2019-11-06T12:38:47.259Z","downloads":0,"keywords":[],"search_terms":["practical","verification","decision","making","agent","based","autonomous","systems","dennis","fisher","lincoln","lisitsa","veres"],"title":"Practical Verification of Decision-Making in Agent-Based Autonomous Systems","year":2014,"dataSources":["C6mN2QfPXvscax4oL"]}