Ava Clifton
My Thesis
My ANU PhD thesis on classical and FOND planning, adapting Property Directed Reachability.
My Thesis Software
Software used in my PhD thesis. A Property Directed Reachability implementation with extensions for parallelisms and FOND.
KR Paper
A paper I wrote on PDR extensions.
Linux Config Files
git clone https://github.com/ava-clifton/config.git && cd config && ./setup.sh