selected publications
-
chapter
-
The Octatope Abstract Domain for Verification of Neural Networks.
Lecture Notes in Artificial Intelligence.
454-472.
2023
-
The Octatope Abstract Domain for Verification of Neural Networks.
Lecture Notes in Artificial Intelligence.
454-472.
2023
-
conference proceeding
-
Automated Synthesis of Hardware Designs using Symbolic Feedback and Grammar-Constrained Decoding in Large Language Models.
Proceedings of the IEEE National Aerospace and Electronics Conference.
95-100.
2024
-
An Exploration of Optimizing Kidney Exchanges with Graph Machine Learning.
114-119.
2024
-
Combining AI control systems and human decision support via robustness and criticality.
Proceedings of SPIE.
2024
- Assume-Guarantee Reinforcement Learning. Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence. 21223-21231. 2024
-
A Differential Approach for Several NP-hard Optimization Problems.
Lecture Notes in Artificial Intelligence.
68-80.
2024
-
The Utility of Feature Reuse: Transfer Learning in Data-Starved Regimes.
37-42.
2023
-
SKGHOI: Spatial-Semantic Knowledge Graph for Human-Object Interaction Detection.
Proceedings ... ICDM workshops IEEE International Conference on Data Mining.
1186-1193.
2023
-
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving
2023
-
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions
2023
-
NoiseCAM: Explainable AI for the Boundary Between Noise and Adversarial Attacks
2023
-
A Non-Targeted Attack Approach for the Coarse Misclassification Problem.
Proceedings of International Joint Conference on Neural Networks.
2023
-
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.
149-152.
2023
-
Safety Margins for Reinforcement Learning.
42-43.
2023
-
Resilient Distributed Optimization.
Proceedings of the ... American Control Conference. American Control Conference.
1307-1312.
2023
- Robust Average-Reward Markov Decision Processes. Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence. 15215-15223. 2023
-
Exploring Adversarial Attacks on Neural Networks: An Explainable Approach.
IEEE International Performance, Computing and Communications Conference, Proceedings.
2022
-
Reinforced Contrastive Graph Neural Networks (RCGNN) for Anomaly Detection.
IEEE International Performance, Computing and Communications Conference, Proceedings.
2022
-
ON THE COARSE ROBUSTNESS OF CLASSIFIERS.
Conference record / Asilomar Conference on Signals, Systems & Computers. Asilomar Conference on Signals, Systems & Computers.
569-573.
2022
-
A DIFFERENTIABLE APPROACH TO THE MAXIMUM INDEPENDENT SET PROBLEM USING GRAPH-BASED NEURAL NETWORK STRUCTURES.
IEEE International Workshop on Machine Learning for Signal Processing : [proceedings]. IEEE International Workshop on Machine Learning for Signal Processing.
2022
-
BOSS: BIDIRECTIONAL ONE-SHOT SYNTHESIS OF ADVERSARIAL EXAMPLES.
IEEE International Workshop on Machine Learning for Signal Processing : [proceedings]. IEEE International Workshop on Machine Learning for Signal Processing.
2022
-
DATA-DRIVEN ROBUST MULTI-AGENT REINFORCEMENT LEARNING.
IEEE International Workshop on Machine Learning for Signal Processing : [proceedings]. IEEE International Workshop on Machine Learning for Signal Processing.
2022
-
THE MINIMUM VALUE STATE PROBLEM IN ACTOR-CRITIC NETWORKS.
IEEE International Workshop on Machine Learning for Signal Processing : [proceedings]. IEEE International Workshop on Machine Learning for Signal Processing.
2022
- ExplainIt! A Tool for Computing Robust Attributions of DNNs. 5916-5919. 2022
-
Analyzing the Reachability Problem in Choice Networks.
Lecture Notes in Artificial Intelligence.
408-423.
2022
- Resilient Constrained Consensus over Complete Graphs via Feasibility Redundancy. Proceedings of the ... American Control Conference. American Control Conference. 3418-3422. 2022
-
SYNTHESIS OF ADVERSARIAL SAMPLES IN TWO-STAGE CLASSIFIERS.
Proceedings of the ... IEEE International Conference on Acoustics, Speech, and Signal Processing / sponsored by the Institute of Electrical and Electronics Engineers Signal Processing Society. ICASSP (Conference).
4248-4252.
2022
- Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence. 9567-9574. 2022
-
Consensus-Based Value Iteration for Multiagent Cooperative Control.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
6659-6664.
2021
-
ADVERSARIAL PERTURBATION ATTACKS ON NESTED DICHOTOMIES CLASSIFICATION SYSTEMS.
IEEE International Workshop on Machine Learning for Signal Processing : [proceedings]. IEEE International Workshop on Machine Learning for Signal Processing.
2021
-
On the Copy Complexity of Width 3 Horn Constraint Systems.
Lecture Notes in Artificial Intelligence.
63-78.
2021
- On Smoother Attributions using Neural Stochastic Differential Equations. 522-528. 2021
-
Automated Synthesis of Quantum Circuits using Symbolic Abstractions and Decision Procedures.
IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems.
2021
- Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search. Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence. 12015-12023. 2021
- Steady-State Policy Synthesis in Multichain Markov Decision Processes. 4069-4075. 2021
-
Plasticity-Enhanced Domain-Wall MTJ Neural Networks for Energy-Efficient Online Learning.
IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems.
2020
- FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints. 29-31. 2020
-
SPLASH BY A BELUGA WHALE: AN UNUSUAL CASE OF SALT WATER ASPIRATION SYNDROME.
Chest.
1574A-1574A.
2019
- Steady-State Policy Synthesis for Verifiable Control. 5653-5661. 2019
- Spatially Efficient In-Memory Addition Through Destructive and Non-Destructive Operations. IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems. 2019
-
3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability.
IEEE International Conference on Computer Design - VLSI in Computers and Processors.
171-178.
2018
-
THE SPINNAKER EFFECT: PLATYPNEA-ORTHODEOXIA SYNDROME DUE TO PFO AND AORTIC ANEURYSM.
Chest.
57A-57A.
2018
-
Minimization of Testing Costs in Capacity-Constrained Database Migration.
Lecture Notes in Artificial Intelligence.
1-12.
2018
-
Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory.
95-98.
2018
- Leukemoid Reaction in a Patient with Lemierre's Syndrome. American Journal of Respiratory and Critical Care Medicine. 2018
-
Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach.
Lecture Notes in Artificial Intelligence.
402-415.
2018
- In-Memory Computing Using Paths-Based Logic and Heterogeneous Components. Proceedings -Design, Automation and Test in Europe, DATE. 1512-1515. 2018
- Computation of Boolean Matrix Chain Products in 3D ReRAM. IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems. 2643-2646. 2017
- Constrictive Bronchiolitis Presenting With A Miliary Pattern In A Patient With Hypersensitivity Pneumonitis. American Journal of Respiratory and Critical Care Medicine. 2017
- The Cardinality-Constrained Paths Problem: Multicast Data Routing in Heterogeneous Communication Networks. 126-130. 2016
- Flow-based Computing on Nanoscale Crossbars: Design and Implementation of Full Adders. IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems. 1870-1873. 2016
- Parallel Boolean Matrix Multiplication in Linear Time using Rectifying Memristors. IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems. 1874-1877. 2016
- Pleural Involvement In Waldenstrom Macroglobulinemia. American Journal of Respiratory and Critical Care Medicine. 2016
- Fault-Tolerant In-Memory Crossbar Computing using Quantified Constraint Solving. 101-108. 2015
- Automated Synthesis of Crossbars for Nanoscale Computing using Formal Methods. 130-136. 2015
- Parallel Computing using Memristive Crossbar Networks: Nullifying the Processor-Memory Bottleneck. 147-152. 2014
- Putting Humpty-Dumpty Together: Mining Causal Mechanistic Biochemical Models from Big Data 2014
-
Wireless Physiological Monitoring and Ocular Tracking: 3D Calibration in a Fully-Immersive Virtual Health Care Environment.
Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference.
4464-4467.
2010
-
Automated Synthesis of Hardware Designs using Symbolic Feedback and Grammar-Constrained Decoding in Large Language Models.
Proceedings of the IEEE National Aerospace and Electronics Conference.
95-100.
2024
-
journal article
-
The hexatope and octatope abstract domains for neural network verification.
Formal Methods in System Design.
178-199.
2024
-
Arc-dependent networks: theoretical insights and a computational study.
Annals of Operations Research.
1101-1126.
2024
-
Controller synthesis for linear temporal logic and steady-state specifications.
Autonomous Agents and Multi-Agent Systems.
2024
-
Models for Test Cost Minimization in Database Migration.
Informs Journal on Computing.
2024
-
Farkas Bounds on Horn Constraint Systems.
Theory of Computing Systems.
227-249.
2024
-
Priority-based bin packing with subset constraints.
Discrete Applied Mathematics.
64-75.
2024
- Robust Average-Reward Reinforcement Learning. Journal of Artificial Intelligence Research. 719-803. 2024
-
Reachability in choice networks.
Discrete Optimization.
2023
-
Reachability problems in interval-constrained and cardinality-constrained graphs.
Discrete Mathematics, Algorithms and Applications.
2023
-
An investigation of the background potential in quantum constrictions using scanning gate microscopy and a swarming algorithm.
Physica A: Statistical Mechanics and its Applications.
2023
-
Optimal Deterministic Controller Synthesis from Steady-State Distributions.
Journal of Automated Reasoning.
2023
-
A differentiable approach to the maximum independent set problem using dataless neural networks.
Neural Networks.
168-176.
2022
-
On the complexity of and solutions to the minimum stopping and trapping set problems.
Theoretical Computer Science.
26-44.
2022
-
Domain Wall Leaky Integrate-and-Fire Neurons With Shape-Based Configurable Activation Functions.
IEEE Transactions on Electron Devices.
2353-2359.
2022
-
Making Family-Centered Care for Adults in the ICU a Reality.
Frontiers in Psychiatry.
2022
-
Necrotizing Clostridium subterminale infection with an odontogenic origin.
IDCases.
2022
-
Morphometric analysis program: Detection of epileptic foci in young children using an adult normative database: Initial experience.
Epilepsia Open.
235-238.
2021
- Steady-State Planning in Expected Reward Multichain MDPs. Journal of Artificial Intelligence Research. 1029-1082. 2021
-
Encephalopathy and Encephalitis Associated with Cerebrospinal Fluid Cytokine Alterations and Coronavirus Disease, Atlanta, Georgia, USA, 2020.
Emerging Infectious Diseases.
2016-2021.
2020
- PRE S1 ANTIGEN IN DIFFERENT FORMS OF HEPATITIS-B VIRUS-INFECTION. Revista Médica de Chile. 567-570. 1995
-
The hexatope and octatope abstract domains for neural network verification.
Formal Methods in System Design.
178-199.
2024