Using Formal Verification and Robotic Evolution Techniques to Find Contradictions in Laws Concerning Police Rules of Engagement. - Terrance Sun; Lawrence Sun; Marek A. Perkowski (ISMVL, 2012)