Grounding LTLf Specifications in Image Sequences.

Elena Umili, Roberto Capobianco, Giuseppe De Giacomo

Browse the full KR paper archive.