A planning problem validator based on reachability analysis. - Moses Symeonidis; Dimitris Giouroukis; Dimitris Vrakas (SETN, 2016)