Patents/Assignees

IDNI AG

1 patent in portfolio

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