Daniel Gnad

Postdoctoral Researcher

About Me

I am a postdoctoral researcher at Linköping University. My research interests are in the fields of artificial intelligence planning and model checking. More concretely, I am working on state space search methods such as decoupled state space search.

Short bio

I did my studies in Computer Science at Saarland University. After finishing my MSc. degree, I stayed on as a PhD student in the group of Prof. Jörg Hoffmann. In 2022 I joined RLPLAB at Linköping University.

Awards

Publications

2023

2022

2021

2020

2019

2018

2017

2016

2015