Articles with public access mandates - Alvaro VelasquezLearn more
Not available anywhere: 7
Finding minimum stopping and trapping sets: an integer linear programming approach
A Velasquez, K Subramani, SL Drager
Combinatorial Optimization: 5th International Symposium, ISCO 2018 …, 2018
Mandates: US National Science Foundation, US Department of Defense
Algorithmic analysis of priority-based bin packing
P Wojciechowski, K Subramani, A Velasquez, B Caskurlu
Algorithms and Discrete Applied Mathematics: 7th International Conference …, 2021
Mandates: US Department of Defense
Optimal Deterministic Controller Synthesis from Steady-State Distributions
A Velasquez, I Alkhouri, K Subramani, P Wojciechowski, G Atia
Journal of Automated Reasoning 67 (1), 7, 2023
Mandates: US Department of Defense
On the copy complexity of width 3 Horn constraint systems
K Subramani, P Wojciechowski, A Velasquez
International Symposium on Frontiers of Combining Systems, 63-78, 2021
Mandates: US Department of Defense
Reachability problems in interval-constrained and cardinality-constrained graphs
A Velasquez, K Subramani, P Wojciechowski
Discrete Mathematics, Algorithms and Applications 15 (04), 2250110, 2023
Mandates: US National Science Foundation, US Department of Defense
Analyzing the Reachability Problem in Choice Networks
P Wojciechowski, K Subramani, A Velasquez
International Conference on Integration of Constraint Programming …, 2022
Mandates: US Department of Defense
3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability
A Velasquez, SK Jha
2018 IEEE 36th International Conference on Computer Design (ICCD), 171-178, 2018
Mandates: US Department of Defense
Available somewhere: 41
Dehallucinating large language models using formal methods guided iterative prompting
S Jha, SK Jha, P Lincoln, ND Bastian, A Velasquez, S Neema
2023 IEEE International Conference on Assured Autonomy (ICAA), 149-152, 2023
Mandates: US Department of Defense
Flow-based computing on nanoscale crossbars: Design and implementation of full adders
Z Alamgir, K Beckmann, N Cady, A Velasquez, SK Jha
2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1870-1873, 2016
Mandates: US National Science Foundation, US Department of Energy
Dynamic automaton-guided reward shaping for monte carlo tree search
A Velasquez, B Bissey, L Barak, A Beckus, I Alkhouri, D Melcer, G Atia
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 12015 …, 2021
Mandates: US National Science Foundation, US Department of Defense
Domain wall leaky integrate-and-fire neurons with shape-based configurable activation functions
WH Brigner, N Hassan, X Hu, CH Bennett, F Garcia-Sanchez, C Cui, ...
IEEE Transactions on Electron Devices 69 (5), 2353-2359, 2022
Mandates: US National Science Foundation, US Department of Energy
Inferring probabilistic reward machines from non-markovian reward signals for reinforcement learning
T Dohmen, N Topper, G Atia, A Beckus, A Trivedi, A Velasquez
Proceedings of the International Conference on Automated Planning and …, 2022
Mandates: US National Science Foundation, US Department of Defense
Neurosymbolic reinforcement learning and planning: A survey
K Acharya, W Raza, C Dourado, A Velasquez, HH Song
IEEE Transactions on Artificial Intelligence, 2023
Mandates: US National Science Foundation
Translating omega-regular specifications to average objectives for model-free reinforcement learning
M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez
Proc. of the 21st International Conference on Autonomous Agents and …, 2022
Mandates: US National Science Foundation, UK Engineering and Physical Sciences …
On smoother attributions using neural stochastic differential equations
S Jha, R Ewetz, A Velasquez, S Jha
30th International Joint Conference on Artificial Intelligence (IJCAI), 2021, 2021
Mandates: US National Science Foundation, US Department of Defense
A differentiable approach to the maximum independent set problem using dataless neural networks
IR Alkhouri, GK Atia, A Velasquez
Neural Networks 155, 168-176, 2022
Mandates: US National Science Foundation, US Department of Energy, US Department of …
Shaping noise for robust attributions in neural stochastic differential equations
SK Jha, R Ewetz, A Velasquez, A Ramanathan, S Jha
Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9567-9574, 2022
Mandates: US National Science Foundation, US Department of Defense
Minimization of testing costs in capacity-constrained database migration
K Subramani, B Caskurlu, A Velasquez
Algorithmic Aspects of Cloud Computing: 4th International Symposium …, 2019
Mandates: US Department of Defense
Robust average-reward Markov decision processes
Y Wang, A Velasquez, G Atia, A Prater-Bennette, S Zou
Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15215 …, 2023
Mandates: US National Science Foundation
On the susceptibility of deep neural networks to natural perturbations
M Ozdag, S Raj, S Fernandes, LL Pullum, SK Jha
Oak Ridge National Lab.(ORNL), Oak Ridge, TN (United States), 2019
Mandates: US Department of Energy
Publication and funding information is determined automatically by a computer program