Alvaro Velasquez

According to our database, Alvaro Velasquez authored at least 91 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Farkas Bounds on Horn Constraint Systems.

K. Subramani, Piotr Wojciechowki, Alvaro Velasquez

Theory Comput. Syst., April, 2024

Priority-based bin packing with subset constraints.

Piotr Wojciechowski, K. Subramani, Alvaro Velasquez, Bugra Çaskurlu

Discret. Appl. Math., January, 2024

Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents.

Yash Shukla, Tanushree Burman, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov

CoRR, 2024

A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence.

Justus Renkhoff, Ke Feng, Marc Meier-Doernberg, Alvaro Velasquez, Houbing Herbert Song

CoRR, 2024

LgTS: Dynamic Task Sampling using LLM-generated Sub-Goals for Reinforcement Learning Agents.

Yash Shukla, Wenchang Gao, Vasanth Sarathy, Alvaro Velasquez, Robert Wright, Jivko Sinapov

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Assume-Guarantee Reinforcement Learning.

Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Reachability problems in interval-constrained and cardinality-constrained graphs.

Alvaro Velasquez, K. Subramani, Piotr Wojciechowski

Discret. Math. Algorithms Appl., May, 2023

Reachability in choice networks.

Piotr Wojciechowski, K. Subramani, Alvaro Velasquez

Discret. Optim., May, 2023

Optimal Deterministic Controller Synthesis from Steady-State Distributions.

Alvaro Velasquez, Ismail Alkhouri, K. Subramani, Piotr Wojciechowski, George K. Atia

J. Autom. Reason., March, 2023

Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning.

Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez

CoRR, 2023

Byzantine-Resilient Decentralized Multi-Armed Bandits.

Jingxuan Zhu, Alec Koppel, Alvaro Velasquez, Ji Liu

CoRR, 2023

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

CoRR, 2023

Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions.

Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez

CoRR, 2023

SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments.

Abhinav Rajvanshi, Karan Sikka, Xiao Lin, Bhoram Lee, Han-Pang Chiu, Alvaro Velasquez

CoRR, 2023

Neurosymbolic Reinforcement Learning and Planning: A Survey.

Kamal Acharya, Waleed Raza, Carlos M. J. M. Dourado Júnior, Alvaro Velasquez, Houbing Song

CoRR, 2023

Safety Margins for Reinforcement Learning.

Alexander Grushin, Walt Woods, Alvaro Velasquez, Simon Khan

CoRR, 2023

On the Robustness of AlphaFold: A COVID-19 Case Study.

Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha

CoRR, 2023

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

Proceedings of the IEEE Military Communications Conference, 2023

Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions.

Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez

Proceedings of the IEEE Military Communications Conference, 2023

A Non-Targeted Attack Approach for the Coarse Misclassification Problem.

Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia

Proceedings of the International Joint Conference on Neural Networks, 2023

Model-Free Robust Average-Reward Reinforcement Learning.

Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou

Proceedings of the International Conference on Machine Learning, 2023

SKGHOI: Spatial-Semantic Knowledge Graph for Human-Object Interaction Detection.

Lijing Zhu, Qizhen Lan, Alvaro Velasquez, Houbing Song, Acharya Kamal, Qing Tian, Shuteng Niu

Proceedings of the IEEE International Conference on Data Mining, 2023

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.

Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

NoiseCAM: Explainable AI for the Boundary Between Noise and Adversarial Attacks.

Wenkai Tan, Justus Renkhoff, Alvaro Velasquez, Ziyu Wang, Lusi Li, Jian Wang, Shuteng Niu, Fan Yang, Yongxin Liu, Houbing Song

Proceedings of the IEEE International Conference on Fuzzy Systems, 2023

The Octatope Abstract Domain for Verification of Neural Networks.

Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski

Proceedings of the Formal Methods - 25th International Symposium, 2023

Differentiable Discrete Optimization Using Dataless Neural Networks.

Sangram Kishor Jena, K. Subramani, Alvaro Velasquez

Proceedings of the Combinatorial Optimization and Applications, 2023

A Resilient Distributed Algorithm for Solving Linear Equations.

Jingxuan Zhu, Alvaro Velasquez, Ji Liu

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

LTL-Based Non-Markovian Inverse Reinforcement Learning.

Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Resilient Distributed Optimization^*.

Jingxuan Zhu, Yixuan Lin, Alvaro Velasquez, Ji Liu

Proceedings of the American Control Conference, 2023

Automaton-Guided Curriculum Generation for Reinforcement Learning Agents.

Yash Shukla, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Robust Average-Reward Markov Decision Processes.

Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

On the complexity of and solutions to the minimum stopping and trapping set problems.

Alvaro Velasquez, K. Subramani, Piotr Wojciechowski

Theor. Comput. Sci., 2022

A differentiable approach to the maximum independent set problem using dataless neural networks.

Ismail R. Alkhouri, George K. Atia, Alvaro Velasquez

Neural Networks, 2022

Resilient Distributed Optimization.

Jingxuan Zhu, Yixuan Lin, Alvaro Velasquez, Ji Liu

CoRR, 2022

A Differentiable Approach to Combinatorial Optimization using Dataless Neural Networks.

Ismail R. Alkhouri, George K. Atia, Alvaro Velasquez

CoRR, 2022

Data-Driven Robust Multi-Agent Reinforcement Learning.

Yudan Wang, Yue Wang, Yi Zhou, Alvaro Velasquez, Shaofeng Zou

Proceedings of the 32nd IEEE International Workshop on Machine Learning for Signal Processing, 2022

The Minimum Value State Problem in Actor-Critic Networks.

Alvaro Velasquez, Ismail R. Alkhouri, Brett Bissey, Lior Barak, George K. Atia

Proceedings of the 32nd IEEE International Workshop on Machine Learning for Signal Processing, 2022

BOSS: Bidirectional One-Shot Synthesis of Adversarial Examples.

Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia

Proceedings of the 32nd IEEE International Workshop on Machine Learning for Signal Processing, 2022

A Differentiable Approach to the Maximum Independent Set Problem Using Graph-Based Neural Network Structures.

Ismail R. Alkhouri, George K. Atia, Alvaro Velasquez

Proceedings of the 32nd IEEE International Workshop on Machine Learning for Signal Processing, 2022

Reinforced Contrastive Graph Neural Networks (RCGNN) for Anomaly Detection.

Zenan Sun, Jingyi Su, Donghyun Jeon, Alvaro Velasquez, Houbing Song, Shuteng Niu

Proceedings of the IEEE International Performance, 2022

Exploring Adversarial Attacks on Neural Networks: An Explainable Approach.

Justus Renkhoff, Wenkai Tan, Alvaro Velasquez, William Yichen Wang, Yongxin Liu, Jian Wang, Shuteng Niu, Lejla Begic Fazlic, Guido Dartmann, Houbing Song

Proceedings of the IEEE International Performance, 2022

ExplainIt!: A Tool for Computing Robust Attributions of DNNs.

Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Synthesis of Adversarial Samples in Two-Stage Classifiers.

Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia

Proceedings of the IEEE International Conference on Acoustics, 2022

Analyzing the Reachability Problem in Choice Networks.

Piotr Wojciechowski, K. Subramani, Alvaro Velasquez

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

On the Approximability of Path and Cycle Problems in Arc-Dependent Networks.

Piotr Wojciechowski, K. Subramani, Alvaro Velasquez, Matthew D. Williamson

Proceedings of the Algorithms and Discrete Applied Mathematics, 2022

Controller Synthesis for Omega-Regular and Steady-State Specifications.

Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning.

Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Resilient Constrained Consensus over Complete Graphs via Feasibility Redundancy.

Jingxuan Zhu, Yixuan Lin, Alvaro Velasquez, Ji Liu

Proceedings of the American Control Conference, 2022

New Results in Priority-Based Bin Packing.

K. Subramani, Piotr Wojciechowski, Alvaro Velasquez

Proceedings of the Algorithmic Aspects of Cloud Computing - 7th International Symposium, 2022

Multi-Agent Tree Search with Dynamic Reward Shaping.

Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Active Grammatical Inference for Non-Markovian Planning.

Noah Topper, George K. Atia, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning.

Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

On the Coarse Robustness of Classifiers.

Ismail R. Alkhouri, Stanley Bak, Alvaro Velasquez, George K. Atia

Proceedings of the 56th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2022, Pacific Grove, CA, USA, October 31, 2022

Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations.

Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Steady-State Planning in Expected Reward Multichain MDPs.

George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez

J. Artif. Intell. Res., 2021

Protein Folding Neural Networks Are Not Robust.

Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha

CoRR, 2021

Pulmonary Disease Classification Using Globally Correlated Maximum Likelihood: an Auxiliary Attention mechanism for Convolutional Neural Networks.

Edward Verenich, Tobias Martin, Alvaro Velasquez, Nazar Khan, Faraz Hussain

CoRR, 2021

Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes.

Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia

CoRR, 2021

Adversarial Perturbation Attacks on Nested Dichotomies Classification Systems.

Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia

Proceedings of the 2021 IEEE 31st International Workshop on Machine Learning for Signal Processing (MLSP), 2021

Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures.

Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

On Smoother Attributions using Neural Stochastic Differential Equations.

Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

On the Copy Complexity of Width 3 Horn Constraint Systems.

K. Subramani, Piotr Wojciechowski, Alvaro Velasquez

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

Consensus-Based Value Iteration for Multiagent Cooperative Control.

Jing Wang, Elias Wilson, Alvaro Velasquez

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Algorithmic Analysis of Priority-Based Bin Packing.

Piotr Wojciechowski, K. Subramani, Alvaro Velasquez, Bugra Çaskurlu

Proceedings of the Algorithms and Discrete Applied Mathematics, 2021

Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search.

Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Verifiable Planning in Expected Reward Multichain MDPs.

George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez

CoRR, 2020

Domain Wall Leaky Integrate-and-Fire Neurons with Shape-Based Configurable Activation Functions.

Wesley H. Brigner, Naimul Hassan, Xuan Hu, Christopher H. Bennett, Felipe García-Sánchez, Can Cui, Alvaro Velasquez, Matthew J. Marinella, Jean Anne C. Incorvia, Joseph S. Friedman

CoRR, 2020

An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks.

Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami

CoRR, 2020

Unsupervised Competitive Hardware Learning Rule for Spintronic Clustering Architecture.

Alvaro Velasquez, Christopher H. Bennett, Naimul Hassan, Wesley H. Brigner, Otitoaleke G. Akinola, Jean Anne C. Incorvia, Matthew J. Marinella, Joseph S. Friedman

CoRR, 2020

The Utility of Feature Reuse: Transfer Learning in Data-Starved Regimes.

Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain

CoRR, 2020

FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints.

Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain

Proceedings of the 2020 USENIX Conference on Operational Machine Learning, 2020

Plasticity-Enhanced Domain-Wall MTJ Neural Networks for Energy-Efficient Online Learning.

Christopher H. Bennett, T. Patrick Xiao, Can Cui, Naimul Hassan, Otitoaleke G. Akinola, Jean Anne C. Incorvia, Alvaro Velasquez, Joseph S. Friedman, Matthew J. Marinella

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

Steady-State Policy Synthesis in Multichain Markov Decision Processes.

George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia.

Edward Verenich, Alvaro Velasquez, Nazar Khan, Faraz Hussain

Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020

Verification-Guided Tree Search.

Alvaro Velasquez, Daniel Melcer

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Spatially Efficient In-Memory Addition Through Destructive and Non-Destructive Operations.

Alvaro Velasquez, Benjamin Shaia

Proceedings of the IEEE International Symposium on Circuits and Systems, 2019

Steady-State Policy Synthesis for Verifiable Control.

Alvaro Velasquez

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

On the Susceptibility of Deep Neural Networks to Natural Perturbations.

Mesut Ozdag, Sunny Raj, Steven Lawrence Fernandes, Alvaro Velasquez, Laura Pullum, Sumit Kumar Jha

Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, 2019

2018

Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory.

Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, 2018

Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach.

Alvaro Velasquez, K. Subramani, Steven L. Drager

Proceedings of the Combinatorial Optimization - 5th International Symposium, 2018

3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability.

Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the 36th IEEE International Conference on Computer Design, 2018

In-memory computing using paths-based logic and heterogeneous components.

Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Minimization of Testing Costs in Capacity-Constrained Database Migration.

K. Subramani, Bugra Çaskurlu, Alvaro Velasquez

Proceedings of the Algorithmic Aspects of Cloud Computing - 4th International Symposium, 2018

2017

Computation of Boolean matrix chain products in 3D ReRAM.

Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

2016

The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks.

Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Parallel boolean matrix multiplication in linear time using rectifying memristors.

Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

Flow-based computing on nanoscale crossbars: Design and implementation of full adders.

Zahiruddin Alamgir, Karsten Beckmann, Nathaniel C. Cady, Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the IEEE International Symposium on Circuits and Systems, 2016

2015

Automated synthesis of crossbars for nanoscale computing using formal methods.

Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, 2015

Fault-tolerant in-memory crossbar computing using quantified constraint solving.

Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the 33rd IEEE International Conference on Computer Design, 2015

2014

Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck.

Alvaro Velasquez, Sumit Kumar Jha

Proceedings of the 9th International Design and Test Symposium, 2014

Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data.

Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha

Proceedings of the IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, 2014