Emanuel Trigo

According to our database, Emanuel Trigo authored at least 2 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automatic Generation of Loop Invariants in Dafny with Large Language Models.

João Pascoal Faria, Emanuel Trigo, Rui Abreu

Proceedings of the Fundamentals of Software Engineering, 2025

2023

Using Deep Reinforcement Learning for Navigation in Simulated Hallways.

Gonçalo Leão, Filipe Almeida, Emanuel Trigo, Henrique Ferreira, Armando Sousa, Luís Paulo Reis

Proceedings of the IEEE International Conference on Autonomous Robot Systems and Competitions, 2023