Baert, MattijsMattijsBaertLeroux, SamSamLerouxSimoens, PieterPieterSimoens2025-04-172024-11-292024-12-022025-04-172024978-3-031-70073-62945-9133WOS:001336429000005https://imec-publications.be/handle/20.500.12860/44864Learning Temporal Task Specifications From DemonstrationsProceedings paper10.1007/978-3-031-70074-3_5978-3-031-70074-3WOS:001336429000005LOGIC