v1v2v3 (latest)

Learning Linear Temporal Properties

11 June 2018

Papers citing "Learning Linear Temporal Properties"

23 / 23 papers shown

Title
SAT-Based Bounded Fitting for the Description Logic ALC Maurice Funk J. C. Jung Tom Voellmer 4 1 0 29 Jul 2025
Learning Tree Pattern Transformations Daniel Neider Leif Sabellek Johannes Schmidt Fabian Vehlken Thomas Zeume PINN 106 1 0 10 Oct 2024
Pointwise-in-Time Explanation for Linear Temporal Logic Rules Noel Brindise Cédric Langbort 80 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 33 0 0 16 Jun 2023
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology J. C. Jung Vladislav Ryzhikov Franz-Erich Wolter Michael Zakharyaschev 83 0 0 13 Jun 2023
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies Marie Fortin B. Konev Vladislav Ryzhikov Yury Savateev F. Wolter Michael Zakharyaschev 64 4 0 02 May 2023
Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains Gavin Rens Wen-Chi Yang Jean-François Raskin Luc de Raedt 38 0 0 07 Nov 2022
Prophecy Variables for Hyperproperty Verification Raven Beutner Bernd Finkbeiner 15 19 0 03 Jun 2022
Time-Incremental Learning from Data Using Temporal Logics Erfan Aasi Mingyu Cai C. Vasile C. Belta 50 1 0 28 Dec 2021
Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator Homer Walke Daniel Ritter Carl Trimbach Michael Littman NAI AI4CE 79 7 0 07 Nov 2021
Classification of Time-Series Data Using Boosted Decision Trees Erfan Aasi C. Vasile Mahroo Bahreinian C. Belta 98 16 0 01 Oct 2021
Process discovery on deviant traces and other stranger things F. Chesani Chiara Di Francescomarino Chiara Ghidini Daniela Loreti F. Maggi P. Mello Marco Montali Sergio Tessaris AI4TS 57 3 0 30 Sep 2021
Temporal and Object Quantification Networks Jiayuan Mao Zhezheng Luo Chuang Gan J. Tenenbaum Jiajun Wu L. Kaelbling T. Ullman NAI 67 3 0 10 Jun 2021
Uncertainty-Aware Signal Temporal Logic Inference Nasim Baharisangari Jean-Raphael Gaglione Daniel Neider Ufuk Topcu Zhe Xu 54 5 0 24 May 2021
Inferring Temporal Logic Properties from Data using Boosted Decision Trees Erfan Aasi C. Vasile Mahroo Bahreinian C. Belta AI4CE 39 5 0 24 May 2021
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach Jean-Raphael Gaglione Daniel Neider Rajarshi Roy Ufuk Topcu Zhe Xu 56 27 0 30 Apr 2021
PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification Mitziu Echeverria Zeeshan Ahmed Bincheng Wang M. F. Arif Syed Rafiul Hussain Omar Chowdhury 66 25 0 01 Jan 2021
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples Zhe Xu Bo Wu Aditya Ojha Daniel Neider Ufuk Topcu OffRL 160 34 0 28 Jun 2020
A Formal Language Approach to Explaining RNNs Bishwamittra Ghosh Daniel Neider 80 1 0 12 Jun 2020
Explaining Multi-stage Tasks by Learning Temporal Logic Formulas from Suboptimal Demonstrations Glen Chou N. Ozay Dmitry Berenson 76 26 0 03 Jun 2020
Learning Interpretable Models in the Property Specification Language Rajarshi Roy D. Fisman Daniel Neider 41 32 0 10 Feb 2020
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences Zhe Xu Yuxin Chen Ufuk Topcu 136 1 0 27 Jan 2020
Transfer of Temporal Logic Formulas in Reinforcement Learning Zhe Xu Ufuk Topcu 111 55 0 10 Sep 2019