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
... more
-
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
... more
-
The hexatope and octatope abstract domains for neural network verification.
Formal Methods in System Design.
178-199.
2024
