Mover, Sergio

3 publications

ICLR 2024 Reconciling Spatial and Temporal Abstractions for Goal Representation Mehdi Zadem, Sergio Mover, Sao Mai Nguyen

NeurIPSW 2023 Emergence of a Symbolic Goal Representation with an Intelligent Tutoring System Based on Intrinsic Motivation Mehdi Zadem, Sergio Mover, Sao Mai Nguyen

AAAI 2012 SMT-Based Verification of Hybrid Systems Alessandro Cimatti, Sergio Mover, Stefano Tonetta