David Madigan Sushil Mittal Fred Roberts Sequential Decision Making Algorithms for Port of Entry Inspection: Overcoming Computational Challenges. 1-7 2007 conf/isi/2007 ISI http://dx.doi.org/10.1109/ISI.2007.379521 db/conf/isi/isi2007.html#MadiganMR07