Trustworthy Autonomous Systems Verifiability Node

@article{Dennis2016,

title = {Practical verification of decision-making in agent-based autonomous systems},

author = {Dennis Louise and Michael Fisher and Nicholas Lincoln and Alexei Lisitsa and Sandor Veres},

url = {https://doi.org/10.1007/s10515-014-0168-9},

doi = {10.1007/s10515-014-0168-9},

isbn = {1573-7535},

year  = {2016},

date = {2016-03-01},

journal = {Automated Software Engineering},

volume = {23},

number = {3},

pages = {305--359},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{FosterBCWoodcockZ2019,

title = {Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP},

author = {Simon Foster and James Baxter and Ana Cavalcanti and Jim Woodcock and Frank Zeyda},

url = {http://arxiv.org/abs/1905.05500},

journal = {CoRR},

volume = {abs/1905.05500},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DennisAAAI21,

title = {Verifiable Machine Ethics in Changing Contexts},

author = {Louise A. Dennis and Martin Mose Bentzen and Felix Lindner and Michael Fisher},

url = {https://ojs.aaai.org/index.php/AAAI/article/view/17366},

journal = {Proceedings of the AAAI Conference on Artificial Intelligence},

volume = {35},

number = {13},

pages = {11470-11478},

keywords = {},

pubstate = {published},

tppubtype = {article}

}