A New Boolean Encoding for MAPF and its Performance with ASP and MaxSAT Solvers. - Roberto Javier Asín Achá; Rodrigo López; Sebastián Hagedorn; Jorge A. Baier (SOCS, 2021)

Multi-Agent Path Finding: A New Boolean Encoding. - Roberto Javier Asín Achá; Rodrigo López; Sebastián Hagedorn; Jorge A. Baier (J. Artif. Intell. Res., 2022)

Active Learning of Symbolic Automata over Rational Numbers. - Sebastián Hagedorn Gaete; Martin Muñoz; Cristian Riveros; Rodrigo Toro Icarte (AAAI, 2026)