Publications

Search our publications to read more about our work in more depth.

Alvaro Perez-Diaz, Enrico Gerding & Frank McGroarty, 2020, Journal of Artificial Intelligence Research, 67, 437-470

DOI:

Type: article

Colby Morrison & Pavel Naumov, 2020, Journal of Logic, Language, and Information, 29(1), 3-19

DOI:

Type: article

Lei Xun, Long Tran-Thanh, Bashir Al-Hashimi & Geoff Merrett, 2020

DOI:

Type: conference

Guillermo Romero Moreno, Edoardo Manino, Long Tran-Thanh & Markus Brede, 2020

DOI:

Type: conference

Abdullah M. Alabdullatif, Enrico Gerding & Alvaro Perez-Diaz, 2020, Energies, 13(4)

DOI:

Type: article

����TV