Search Results for author:
Found 2 papers, 2 papers with code
Formal Verification with Constrained Polynomial Logical Zonotope
To address this, we formulate constrained polynomial logical zonotopes, which maintain the computational efficiency and exactness of polynomial logical zonotopes for reachability analysis while supporting exact intersections.
ConvDySAT: Deep Neural Representation Learning on Dynamic Graphs via Self-Attention and Convolutional Neural Networks
Learning node representations on temporal graphs is a fundamental step to learn real-word dynamic graphs efficiently.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
