#dfa

Inyección neuro-simbólica de LTLf en RL autorregresivo

Descubre cómo inyectar conocimiento LTLf en políticas de RL autorregresivas para mejorar el cumplimiento de restricciones temporales sin sacrificar recompensas.