Regular decision processes by Brafman, RI, De Giacomo, G

Efficient PAC reinforcement learning in regular decision processes by Ronca, A, De Giacomo, G

Behavioral QLTL by De Giacomo, G, Perelli, G

Symbolic LTLf best-effort synthesis by De Giacomo, G, Parretti, G, Zhu, S

LTLf best-effort synthesis in nondeterministic planning domains by De Giacomo, G, Parretti, G, Zhu, S

Towards ILP-based LTLf passive learning by Ielo, A, Law, M, Fionda, V, Ricca, F, De Giacomo, G, De Giacomo, G, Russo, A

Markov abstractions for PAC reinforcement learning in non-Markov decision processes by Ronca, A, Licks, GP, De Giacomo, G

Clock specifications for temporal tasks in planning and learning by De Giacomo, G, Favorito, M, Patrizi, F

Composition of stochastic services for LTLf goal specifications by De Giacomo, G, Favorito, M, Silo, L

Abstraction of nondeterministic situation calculus action theories by Banihashemi, B, De Giacomo, G, Lesperance, Y

Automata cascades: expressivity and sample complexity by Ronca, A, Knorozova, NA, De Giacomo, G

Grounding LTLf specifications in image sequences by Umili, E, Capobianco, R, De Giacomo, G

Mimicking behaviors in separated domains by De Giacomo, G, Fried, D, Patrizi, F, Zhu, S

The trembling-hand problem for LTLf planning by Yu, P, Zhu, S, De Giacomo, G, Vardi, M

Stochastic best-effort strategies for Borel goals by Aminof, B, De Giacomo, G, Rubin, S, Zuleger, F

Temporally extended goal recognition in fully observable non-deterministic domain models: temporally extended goal recognition in FOND planning by Pereira, RF, Fuggitti, F, Meneguzzi, F, De Giacomo, G

Abstraction of situation calculus concurrent game structures by Lespérance, Y, De Giacomo, G, Rostamigiv, M, Khan, SM

A tool for declarative Trace Alignment via automated planning by De Giacomo, G, Fuggitti, F, Maggi, FM, Marrella, A, Patrizi, F

Finite-trace and generalized-reactivity specifications in temporal synthesis by De Giacomo, G, Di Stasio, A, Tabajara, LM, Vardi, MY, Zhu, S

LTLf synthesis under environment specifications for reachability and safety properties by Aminof, B, De Giacomo, G, Di Stasio, A, Francon, H, Rubin, S, Zhu, S