Scholar
Alban Grastien
Google Scholar ID: 87u0x6UAAAAJ
Research Fellow at HMI, ANU
Artificial Intelligence
Model-Based Diagnosis
AI Planning
Propositional Boolean Satisfiability
Model Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,158
H-index
13
i10-index
20
Publications
20
Co-authors
9
list available
Publications
8 items
Beyond $L_2$: Generalizing Abductive Latent Explanations to Diverse Prototype-Based Architectures
2026
Cited
0
Formal Abductive Explanations for Navigating Mental Health Help-Seeking and Diversity in Tech Workplaces
2026
Cited
0
Bridging AI and Clinical Reasoning: Abductive Explanations for Alignment on Critical Symptoms
2026
Cited
0
Formal Abductive Latent Explanations for Prototype-Based Networks
2025
Cited
0
Beyond Verification: Abductive Explanations for Post-AI Assessment of Privacy Leakage
2025
Cited
0
On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
2025
Cited
0
Complexity Results of Persuasion
2025
Cited
0
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
2025
Cited
0
Co-authors
5 total
Daniel Harabor
Monash University
Pascal Van Hentenryck
Georgia Institute of Technology
Jussi Rintanen
Aalto University
Sylvie Thiebaux
The Australian National University & LAAS-CNRS, University of Toulouse
Franck Cassez
Independent researcher
