Practical verification of decision-making in agent-based autonomous systems
Crossref DOI link: https://doi.org/10.1007/s10515-014-0168-9
Published Online: 2014-09-06
Published Print: 2016-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Dennis, Louise A.
Fisher, Michael
Lincoln, Nicholas K.
Lisitsa, Alexei
Veres, Sandor M.
License valid from 2014-09-06