63 entries « 21 of 21 »

Louise, Dennis; Fisher, Michael; Lincoln, Nicholas; Lisitsa, Alexei; Veres, Sandor

Practical verification of decision-making in agent-based autonomous systems Journal Article

In: Automated Software Engineering, 23 (3), pp. 305–359, 2016, ISBN: 1573-7535.

Links | BibTeX

Foster, Simon; Baxter, James; Cavalcanti, Ana; Woodcock, Jim; Zeyda, Frank

Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP Journal Article

In: CoRR, abs/1905.05500 , 0000.

Links | BibTeX

Dennis, Louise A.; Bentzen, Martin Mose; Lindner, Felix; Fisher, Michael

Verifiable Machine Ethics in Changing Contexts Journal Article

In: Proceedings of the AAAI Conference on Artificial Intelligence, 35 (13), pp. 11470-11478, 0000.

Links | BibTeX

63 entries « 21 of 21 »