Alvaro Velasquez
Orcid: 0000-0001-6757-105X
According to our database1,
Alvaro Velasquez
authored at least 111 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence.
IEEE Trans. Artif. Intell., August, 2024
Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences.
IEEE Trans. Artif. Intell., July, 2024
Ann. Oper. Res., July, 2024
Auton. Agents Multi Agent Syst., June, 2024
IEEE Trans. Artif. Intell., May, 2024
Discret. Appl. Math., January, 2024
On the Hardness of Decentralized Multi-Agent Policy Evaluation under Byzantine Attacks.
CoRR, 2024
Improving Air Mobility for Pre-Disaster Planning with Neural Network Accelerated Genetic Algorithm.
CoRR, 2024
Combining AI Control Systems and Human Decision Support via Robustness and Criticality.
CoRR, 2024
CoRR, 2024
Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024
Proceedings of the Artificial Intelligence and Image Analysis, 2024
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models.
Proceedings of the International Conference on Assured Autonomy, 2024
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2024
LgTS: Dynamic Task Sampling using LLM-generated Sub-Goals for Reinforcement Learning Agents.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Discret. Math. Algorithms Appl., May, 2023
J. Autom. Reason., March, 2023
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning.
CoRR, 2023
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.
CoRR, 2023
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions.
CoRR, 2023
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.
Proceedings of the IEEE Military Communications Conference, 2023
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions.
Proceedings of the IEEE Military Communications Conference, 2023
Proceedings of the International Joint Conference on Neural Networks, 2023
Proceedings of the International Conference on Machine Learning, 2023
Proceedings of the IEEE International Conference on Data Mining, 2023
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023
Proceedings of the IEEE International Conference on Fuzzy Systems, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the Combinatorial Optimization and Applications, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Proceedings of the American Control Conference, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
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.
Theor. Comput. Sci., 2022
A differentiable approach to the maximum independent set problem using dataless neural networks.
Neural Networks, 2022
A Differentiable Approach to Combinatorial Optimization using Dataless Neural Networks.
CoRR, 2022
Proceedings of the 32nd IEEE International Workshop on Machine Learning for Signal Processing, 2022
Proceedings of the 32nd IEEE International Workshop on Machine Learning for Signal Processing, 2022
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.
Proceedings of the 32nd IEEE International Workshop on Machine Learning for Signal Processing, 2022
Proceedings of the IEEE International Performance, 2022
Proceedings of the IEEE International Performance, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the IEEE International Conference on Acoustics, 2022
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022
Proceedings of the Algorithms and Discrete Applied Mathematics, 2022
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.
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
Proceedings of the American Control Conference, 2022
Proceedings of the Algorithmic Aspects of Cloud Computing - 7th International Symposium, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
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.
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Proceedings of the 56th Asilomar Conference on Signals, Systems, and Computers, ACSSC 2022, Pacific Grove, CA, USA, October 31, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
J. Artif. Intell. Res., 2021
Pulmonary Disease Classification Using Globally Correlated Maximum Likelihood: an Auxiliary Attention mechanism for Convolutional Neural Networks.
CoRR, 2021
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes.
CoRR, 2021
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.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the Algorithms and Discrete Applied Mathematics, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Domain Wall Leaky Integrate-and-Fire Neurons with Shape-Based Configurable Activation Functions.
CoRR, 2020
An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks.
CoRR, 2020
Unsupervised Competitive Hardware Learning Rule for Spintronic Clustering Architecture.
CoRR, 2020
Proceedings of the 2020 USENIX Conference on Operational Machine Learning, 2020
Plasticity-Enhanced Domain-Wall MTJ Neural Networks for Energy-Efficient Online Learning.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2020
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.
Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020
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.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, 2019
2018
Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, 2018
Proceedings of the Combinatorial Optimization - 5th International Symposium, 2018
Proceedings of the 36th IEEE International Conference on Computer Design, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the Algorithmic Aspects of Cloud Computing - 4th International Symposium, 2018
2017
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017
2016
The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks.
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016
Flow-based computing on nanoscale crossbars: Design and implementation of full adders.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2016
2015
Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale Architectures, 2015
Proceedings of the 33rd IEEE International Conference on Computer Design, 2015
2014
Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck.
Proceedings of the 9th International Design and Test Symposium, 2014
Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data.
Proceedings of the IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, 2014