Embedding Symbolic Temporal Knowledge into Deep Sequential Models

28 January 2021

Papers citing "Embedding Symbolic Temporal Knowledge into Deep Sequential Models"

6 / 6 papers shown

Title
Predicting Human Behavior in Autonomous Systems: A Collaborative Machine Teaching Approach for Reducing Transfer of Control Events Julian Wolter Amr Gomaa 12 0 0 15 May 2025
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge Luca Salvatore Lorello Marco Lippi S. Melacci 43 0 0 08 May 2025
Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy Chen Wang Kaiyi Ji Junyi Geng Zhongqiang Ren Taimeng Fu ... Yi Du Qihang Li Yi Yang Xiao Lin Zhipeng Zhao SSL 89 9 0 28 Jan 2025
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic Gaia Saveri L. Nenzi Luca Bortolussi Jan Křetínský 43 0 0 23 May 2024
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks Wataru Hashimoto Kazumune Hashimoto M. Kishida S. Takai 32 1 0 10 Dec 2022
Mimicking Behaviors in Separated Domains G. D. Giacomo Dror Fried F. Patrizi Shufang Zhu 13 1 0 18 May 2022