To generate the pdf run from the terminal the following commands:
lualatex presentation.tex
bibtex presentation
lualatex presentation.tex
lualatex presentation.tex
Atari Breakout with LTLf/LDLf Goals. This repository has been used for the presentation 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:
lualatex presentation.tex
bibtex presentation
lualatex presentation.tex
lualatex presentation.tex
Atari Breakout with LTLf/LDLf Goals. This repository has been used for the presentation of the final project of Elective in Artificial Intelligence: Reasoning Robots (Spring 2018) at Sapienza University of Rome.