Nicholas K. Lincoln

Identifiers

• name variant Nicholas K. Lincoln 0.60 · backfill

Papers (1)

1. Practical Verification of Decision-Making in Agent-Based Autonomous Systems cs.LO · 2013 · author #3

Mentions

• 1310.2431 #3 · backfill · confidence 0.70 Nicholas K. Lincoln

Frequent Coauthors

• Alexei Lisitsa 1 shared papers
• Louise A. Dennis 1 shared papers
• Michael Fisher 1 shared papers
• Sandor M. Veres 1 shared papers