School of Informatics AUTh
Symeonidis, Moysis & Giouroukis, Dimitris & Vrakas, Dimitris. (2016). A planning problem validator based on reachability analysis. 1-7. 10.1145/2903220.2903237.