Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach

v1v2 (latest)

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach

30 April 2021

Jean-Raphael Gaglione

Ufuk Topcu

ArXiv (abs)PDF HTML

Papers citing "Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach"

6 / 6 papers shown

Title
Neuro-Symbolic Generation of Explanations for Robot Policies with Weighted Signal Temporal Logic Mikihisa Yuasa R. Sreenivas Huy T. Tran 76 0 0 30 Apr 2025
On Generating Explanations for Reinforcement Learning Policies: An Empirical Study Mikihisa Yuasa Huy T. Tran R. Sreenivas FAtt LRM 147 1 0 29 Sep 2023
Pointwise-in-Time Explanation for Linear Temporal Logic Rules Noel Brindise Cédric Langbort 53 2 0 24 Jun 2023
Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference Zeyuan Jin Nasim Baharisangari Zhe Xu Sze Zheng Yong 26 0 0 16 Jun 2023
Uncertainty-Aware Signal Temporal Logic Inference Nasim Baharisangari Jean-Raphael Gaglione Daniel Neider Ufuk Topcu Zhe Xu 36 5 0 24 May 2021
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples Zhe Xu Bo Wu Aditya Ojha Daniel Neider Ufuk Topcu OffRL 87 30 0 28 Jun 2020