Ohad Asor

1 Patent

• US122540822025

  Using First-order Theories of Boolean Algebras to Provide Safe Artificial Intelligence (AI) Systems and a Novel Software Specification Logic

  IDNI AG

  0 cites