Alvaro Velasquez

Available identifiers

Publication	Date of Publication	Type
The hexatope and octatope abstract domains for neural network verification	2025-01-13	Paper
Differentiable discrete optimization using dataless neural networks	2024-09-16	Paper
Arc-dependent networks: theoretical insights and a computational study	2024-08-15	Paper
Farkas Bounds on Horn Constraint Systems	2024-04-21	Paper
Priority-based bin packing with subset constraints	2024-01-24	Paper
A differentiable approach to the maximum independent set problem using dataless neural networks	2023-10-18	Paper
The octatope abstract domain for verification of neural networks	2023-08-17	Paper
Reachability problems in interval-constrained and cardinality-constrained graphs	2023-07-15	Paper
Reachability in choice networks	2023-06-30	Paper
Optimal deterministic controller synthesis from steady-state distributions	2023-06-14	Paper
On the approximability of path and cycle problems in arc-dependent networks	2023-05-08	Paper
Analyzing the reachability problem in choice networks	2022-08-30	Paper
On the complexity of and solutions to the minimum stopping and trapping set problems	2022-05-31	Paper
Algorithmic analysis of priority-based bin packing	2022-03-24	Paper
On the copy complexity of width 3 Horn constraint systems	2022-03-24	Paper
Steady-State Planning in Expected Reward Multichain MDPs	2022-02-07	Paper
Finding minimum stopping and trapping sets: an integer linear programming approach	2018-08-17	Paper

This page was built for person: Alvaro Velasquez