conftrace_

abstract domain

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

zonotope domain (1) velocity extraction (1) abstract domain mapping (1) velocity integration (1) cognitive flexibility (1) cognitive mapping (1) bound propagation (1) abstract interpretation (1) lagrangian method (1) grid cell (1)

Papers

Flexible mapping of abstract domains by grid cells via self-supervised extraction and projection of generalized velocity signals NeurIPS 2024 Zonotope Domains for Lagrangian Neural Network Verification NeurIPS 2022