no code implementations • 16 Jan 2024 • Neelanga Thelasingha, Agung Julius, James Humann, Jean-Paul Reddinger, James Dotterweich, Marshal Childers
This paper presents an iterative planning framework for multi-agent systems with hybrid state spaces.
no code implementations • 15 Sep 2022 • Ruixuan Yan, Tengfei Ma, Achille Fokoue, Maria Chang, Agung Julius
In this study, we present Neuro-Symbolic Time Series Classification (NSTSC), a neuro-symbolic model that leverages signal temporal logic (STL) and neural network (NN) to accomplish TSC tasks using multi-view data representation and expresses the model as a human-readable, interpretable formula.
no code implementations • 16 Sep 2021 • Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu
It is important that the obtained knowledge is human-interpretable and amenable to formal analysis.
no code implementations • 8 Apr 2021 • Ruixuan Yan, Agung Julius
In this paper, we propose a neuro-symbolic framework called weighted Signal Temporal Logic Neural Network (wSTL-NN) that combines the characteristics of neural networks and temporal logics.
no code implementations • 5 Oct 2016 • Zhe Xu, Agung Julius
CensusSTL consists of an "inner logic" STL formula and an "outer logic" STL formula.