Alban Grastien
Scholar

Alban Grastien

Google Scholar ID: 87u0x6UAAAAJ
Research Fellow at HMI, ANU
Artificial IntelligenceModel-Based DiagnosisAI PlanningPropositional Boolean SatisfiabilityModel Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,158
 
H-index
13
 
i10-index
20
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
7 items
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
Resume (English only)
Co-authors
9 total
Daniel Harabor
Daniel Harabor
Monash University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Pascal Van Hentenryck
Pascal Van Hentenryck
Georgia Institute of Technology
Co-author 6
Co-author 6
Sylvie Thiebaux
Sylvie Thiebaux
The Australian National University & LAAS-CNRS, University of Toulouse
Co-author 8
Co-author 8