To generate the pdf run from the terminal the following commands:
pdflatex report.tex
bibtex report
pdflatex report.tex
pdflatex report.tex
Atari Breakout with LTLf/LDLf Goals. This repository has been used for the report of the final project of Elective in Artificial Intelligence: Reasoning Robots (Spring 2018) at Sapienza University of Rome.
To generate the pdf run from the terminal the following commands:
pdflatex report.tex
bibtex report
pdflatex report.tex
pdflatex report.tex
Atari Breakout with LTLf/LDLf Goals. This repository has been used for the report of the final project of Elective in Artificial Intelligence: Reasoning Robots (Spring 2018) at Sapienza University of Rome.