Grounding LTLf Specifications in Image Sequences

Elena Umili, Roberto Capobianco, Giuseppe De Giacomo

Abstract: A critical challenge in neuro-symbolic (NeSy) approaches is to handle the symbol grounding problem without direct supervision. That is mapping high-dimensional raw data into an interpretation over ...