Alban Grastien

About Alban Grastien

Alban Grastien, With an exceptional h-index of 21 and a recent h-index of 14 (since 2020), a distinguished researcher at Australian National University, specializes in the field of Artificial Intelligence, Model-Based Diagnosis, AI Planning, Propositional Boolean Satisfiability, Model Checking.

His recent articles reflect a diverse array of research interests and contributions to the field:

Critical observations in model-based diagnosis

A More General Theory of Diagnosis from First Principles

Formal explanations of neural network policies for planning

Improvements to CPCES

Towards automated modeling assistance: An efficient approach for repairing flawed planning domains

Planning Domain Repair as a Diagnosis Problem

Computing Plans that Signal Normative Compliance

Non-deterministic conformant planning using a counterexample-guided incremental compilation to classical planning

Alban Grastien Information

University

Position

Research Fellow at HMI

Citations(all)

1944

Citations(since 2020)

961

Cited By

1336

hIndex(all)

21

hIndex(since 2020)

14

i10Index(all)

27

i10Index(since 2020)

22

Email

University Profile Page

Google Scholar

Alban Grastien Skills & Research Interests

Artificial Intelligence

Model-Based Diagnosis

AI Planning

Propositional Boolean Satisfiability

Model Checking

Top articles of Alban Grastien

Critical observations in model-based diagnosis

Artificial Intelligence

2024/6/1

Alban Grastien
Alban Grastien

H-Index: 12

A More General Theory of Diagnosis from First Principles

arXiv preprint arXiv:2309.16180

2023/9/28

Alban Grastien
Alban Grastien

H-Index: 12

Formal explanations of neural network policies for planning

2023/8/19

Alban Grastien
Alban Grastien

H-Index: 12

Improvements to CPCES

Proceedings of the International Symposium on Combinatorial Search

2023/7/2

Xiaodi Zhang
Xiaodi Zhang

H-Index: 1

Alban Grastien
Alban Grastien

H-Index: 12

Towards automated modeling assistance: An efficient approach for repairing flawed planning domains

Proceedings of the AAAI Conference on Artificial Intelligence

2023/6/26

Alban Grastien
Alban Grastien

H-Index: 12

Pascal Bercher
Pascal Bercher

H-Index: 19

Planning Domain Repair as a Diagnosis Problem

2022/9/14

Alban Grastien
Alban Grastien

H-Index: 12

Pascal Bercher
Pascal Bercher

H-Index: 19

Computing Plans that Signal Normative Compliance

2021/7/21

Alban Grastien
Alban Grastien

H-Index: 12

Claire Benn
Claire Benn

H-Index: 5

Non-deterministic conformant planning using a counterexample-guided incremental compilation to classical planning

Proceedings of the International Conference on Automated Planning and Scheduling

2021/5/17

Enrico Scala
Enrico Scala

H-Index: 7

Alban Grastien
Alban Grastien

H-Index: 12

Reducing moral ambiguity in partially observed human–robot interactions

Advanced Robotics

2021/5/3

Claire Benn
Claire Benn

H-Index: 5

Alban Grastien
Alban Grastien

H-Index: 12

CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement

Artificial Intelligence

2020/7/1

Alban Grastien
Alban Grastien

H-Index: 12

Enrico Scala
Enrico Scala

H-Index: 7

Computing superior counter-examples for conformant planning

Proceedings of the AAAI Conference on Artificial Intelligence

2020/4/3

Contingent planning using counter-examples from a conformant planner≫

The Sixteenth International Conference on Autonomic and Autonomous Systems (ICAS)

2020

Alban Grastien
Alban Grastien

H-Index: 12

Model based diagnosis of timed automata with model checkers

31st International Workshop on Principles of Diagnosis (DX-20), Online

2020

Zhe Feng
Zhe Feng

H-Index: 8

Alban Grastien
Alban Grastien

H-Index: 12

See List of Professors in Alban Grastien University(Australian National University)

Co-Authors

academic-engine