Sebastián Hagedorn Gaete

Affiliations:

According to our database¹, Sebastián Hagedorn Gaete authored at least 3 papers between 2021 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Active Learning of Symbolic Automata over Rational Numbers.

[DOI]

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2022

Multi-Agent Path Finding: A New Boolean Encoding.

[DOI]

J. Artif. Intell. Res., 2022

2021

A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers.

[DOI]

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021