Logic Programming Approach for Concurrent Reachability Games

Published in TU Dresden / TU Wien, MSc. Thesis, 2015

Download Report Tool Link