Providing diverse solutions using design space exploration Grant US-8473895-B2 United States of America 25 Jun 2013
Systems, methods and apparatus for verification of knowledge-based systems Grant US-7752608-B1 United States of America 06 Jul 2010