activity
20162026
most citedUsing Neural Networks to Compute Approximate and Guaranteed Feasible Hamilton-Jacobi-Bellman PDE Solutions

20 citations · 26 across the 8 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

eess.SY2022

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

Amr Alanwar, Frank J. Jiang, Samy Amin +1

A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper. A logical zonotope is constructed by XOR-ing a binary vector with a combinati…