Minal Suresh Patil

13 papers B 1C 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
Generating Safety-Critical Automotive C-programs using LLMs with Formal Verification.
NeSy
Merlijn Sevenhuijsen, Minal Suresh Patil, Mattias Nyberg, Gustav Ung
2024 B conf
Enhancing Vulnerable Class Robustness in Adversarial Machine Learning.
IJCNN
Minal Suresh Patil, Kary Främling
2024 — conf
Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software.
AISoLA
Minal Suresh Patil, Gustav Ung, Mattias Nyberg
2024 J jnl
Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software.
CoRR
Minal Suresh Patil, Gustav Ung, Mattias Nyberg
2023 J jnl
Context, Utility and Influence of an Explanation.
CoRR
Minal Suresh Patil, Kary Främling
2023 — conf
Do Intermediate Feature Coalitions Aid Explainability of Black-Box Models?
xAI (1)
Minal Suresh Patil, Kary Främling
2023 J jnl
Do intermediate feature coalitions aid explainability of black-box models?
CoRR
Minal Suresh Patil, Kary Främling
2023 — conf
Improving Neural Network Verification Efficiency Through Perturbation Refinement.
ICANN (1)
Minal Suresh Patil, Kary Främling
2023 — conf
Investigating Lipschitz Constants in Neural Ensemble Models to Improve Adversarial Robustness.
ICSRS
Minal Suresh Patil, Kary Främling
2022 J jnl
Explainability in autonomous pedagogically structured scenarios.
CoRR
Minal Suresh Patil
2022 J jnl
Modelling Control Arguments via Cooperation Logic in Unforeseen Scenarios.
CoRR
Minal Suresh Patil
2022 J jnl
Online Handbook of Argumentation for AI: Volume 3.
CoRR
Lars Bengel, Elfia Bezou-Vrakatseli, Lydia Blümel, Federico Castagna, Giulia D'Agostino, Daphne Odekerken, Minal Suresh Patil, Jordan Robinson, Hao Wu, Andreas Xydis
2022 J jnl
Towards Preserving Semantic Structure in Argumentative Multi-Agent via Abstract Interpretation.
CoRR
Minal Suresh Patil