6 papers
Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
Minal Suresh Patil, Gustav Ung, Mattias Nyberg
The paper studies how code generation by LLMs can be combined with formal verification to produce critical embedded software. The first contribution is a general framework, spec2co…
Context, Utility and Influence of an Explanation
Minal Suresh Patil, Kary Främling
Contextual utility theory integrates context-sensitive factors into utility-based decision-making models. It stresses the importance of understanding individual decision-makers' pr…
Do intermediate feature coalitions aid explainability of black-box models?
Minal Suresh Patil, Kary Främling
This work introduces the notion of intermediate concepts based on levels structure to aid explainability for black-box models. The levels structure is a hierarchical structure in w…
Towards Preserving Semantic Structure in Argumentative Multi-Agent via Abstract Interpretation
Minal Suresh Patil
Over the recent twenty years, argumentation has received considerable attention in the fields of knowledge representation, reasoning, and multi-agent systems. However, argumentatio…
Explainability in autonomous pedagogically structured scenarios
Minal Suresh Patil
We present the notion of explainability for decision-making processes in a pedagogically structured autonomous environment. Multi-agent systems that are structured pedagogically co…
Modelling Control Arguments via Cooperation Logic in Unforeseen Scenarios
Minal Suresh Patil
The intent of control argumentation frameworks is to specifically model strategic scenarios from the perspective of an agent by extending the standard model of argumentation framew…