Lincoln, Nicholas K.

1. Practical Verification of Decision-Making in Agent-Based Autonomous Systems
   2013/10/09 by Dennis, Louise A., Fisher, Michael, Lincoln, Nicholas K. +2 · 3 citations
   #03B70 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA)