2025
- Bruno Ribeiro, Igor Penha
Optimisation of SAT-Based Planning via Hybrid and Prioritised
Asynchronous Binary Search Strategies: An Extension of the
Madagascar Planner
Bachelor's Thesis, University of Brasília (UnB), 2025.
[PDF]
[online]
[bib]
@thesis{ribeiro2025madagascar,
title = {Optimisation of SAT-Based Planning via Hybrid and Prioritised
Asynchronous Binary Search Strategies: An Extension of the Madagascar
Planner},
author = {Bruno Ribeiro and Igor Penha},
type = {Bachelor's Thesis},
institution = {University of Brasília (UnB)},
location = {Brasília, DF, Brazil},
supervisor = {Bruno Cesar Ribas},
year = {2025},
month = {December},
url = {URL_TO_BE_ADDED}
}
- Bruno Ribas, Igor Penha, Lucas Bergholz and Bruno
Ribeiro
Mojified Pacman: A Deterministic and Fully Observable
Variant for PDDL Modeling Competitions
In: Proceedings of the 35th ICAPS Workshop on
Knowledge Engineering for Planning and Scheduling
(KEPS 2025), 2025.
[PDF]
[online]
[bib]
@inproceedings{mojified-pacman,
title = {Mojified Pacman: A Deterministic and Fully Observable Variant for
PDDL Modeling Competitions},
author = {Bruno Ribas and Igor Penha and Lucas Bergholz and Bruno Ribeiro},
booktitle = {Proceedings of the 35th ICAPS Workshop on Knowledge Engineering
for Planning and Scheduling (KEPS 2025)},
year = 2025,
month = {November},
location = {Melbourne, Victoria, Australia},
url = {https://icaps25.icaps-conference.org/program/workshops/keps-papers/pacman.pdf}
}
- Bruno Ribeiro, Igor Penha and Bruno Ribas
bni: A PDDL to C compiler with integrated REPL for
interactive testing
In: Proceedings of the 35th BRACIS on the Encontro
Nacional de Inteligência Artificial e Computacional
(ENIAC 22nd edition), 2025.
[PDF]
[online]
[bib]
@inproceedings{bni,
title = {bni: A PDDL to C compiler with integrated REPL for interactive
testing},
author = {Bruno Ribeiro and Igor Penha and Bruno Ribas},
booktitle = {Proceedings of the 22nd National Meeting on Artificial and
Computational Intelligence},
location = {Fortaleza/CE},
year = {2025},
issn = {2763-9061},
pages = {1785--1796},
publisher = {SBC},
address = {Porto Alegre, RS, Brasil},
doi = {10.5753/eniac.2025.13960},
url = {https://sol.sbc.org.br/index.php/eniac/article/view/38853}
}