On the public citation graph

Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees

https://doi.org/10.1145/3433994
0 signed · 65 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-349-13908-8_1openalex-snapshot
Introduction to Algorithms
inferredcites →https://doi.org/10.1007/978-3-030-29662-9openalex-snapshot
Formal Modeling and Analysis of Timed Systems
inferredcites →https://doi.org/10.1007/978-3-319-05278-6_10openalex-snapshot
Fault Diagnosis Systems
inferredcites →https://doi.org/10.1007/978-3-319-41540-6openalex-snapshot
Computer Aided Verification
inferredcites →https://doi.org/10.1007/978-3-319-63387-9_15openalex-snapshot
Logical Clustering and Learning for Time-Series Data
inferredcites →https://doi.org/10.1007/978-3-319-67531-2_13openalex-snapshot
TeLEx: Passive STL Learning Using Only Positive Examples
inferredcites →https://doi.org/10.1007/978-3-319-67531-2_8openalex-snapshot
Signal Clustering Using Temporal Logics
inferredcites →https://doi.org/10.1007/978-3-642-29860-8_12openalex-snapshot
Parametric Identification of Temporal Properties
inferredcites →https://doi.org/10.1007/978-3-662-45231-8_30openalex-snapshot
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
inferredcites →https://doi.org/10.1007/s10009-017-0447-4openalex-snapshot
Mining parametric temporal logic properties in model-based design for cyber-physical systems
inferredcites →https://doi.org/10.1007/s100090050035openalex-snapshot
State space reduction using partial order techniques
inferredcites →https://doi.org/10.1007/s10618-019-00619-1openalex-snapshot
Deep learning for time series classification: a review
inferredcites →https://doi.org/10.1007/s10703-013-0195-3openalex-snapshot
Bayesian statistical model checking with application to Stateflow/Simulink verification
inferredcites →https://doi.org/10.1016/0020-0190(76)90095-8openalex-snapshot
Constructing optimal binary decision trees is NP-complete
inferredcites →https://doi.org/10.1016/j.tcs.2009.06.021openalex-snapshot
Robustness of temporal logic specifications for continuous-time signals
inferredcites →https://doi.org/10.1016/j.tcs.2015.02.046openalex-snapshot
System design of stochastic models using robustness of temporal properties
inferredcites →https://doi.org/10.1023/a:1007413323501openalex-snapshot
Decision Tree Induction Based on Efficient Tree Restructuring
inferredcites →https://doi.org/10.1023/a:1008202821328openalex-snapshot
Differential Evolution – A Simple and Efficient Heuristic for global Optimization over Continuous Spaces
inferredcites →https://doi.org/10.1080/00401706.1997.10485099openalex-snapshot
Pattern Recognition and Neural Networks
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/tac.2016.2585083openalex-snapshot
Temporal Logics for Learning and Detection of Anomalous Behavior
inferredcites →https://doi.org/10.1109/tcad.2015.2421907openalex-snapshot
Mining Requirements From Closed-Loop Control Models
inferredcites →https://doi.org/10.1109/tnnls.2014.2333557openalex-snapshot
A New Method for Data Stream Mining Based on the Misclassification Error
inferredcites →https://doi.org/10.1111/j.1467-985x.2010.00646_6.xopenalex-snapshot
The Elements of Statistical Learning: Data Mining, Inference, and Prediction
inferredcites →https://doi.org/10.1145/1467247.1467271openalex-snapshot
Learning and detecting emergent behavior in networks of cardiac myocytes
inferredcites →https://doi.org/10.1145/2883817.2883843openalex-snapshot
A Decision Tree Approach to Data Classification using Signal Temporal Logic
inferredcites →https://doi.org/10.1145/3147660openalex-snapshot
Mining Timed Regular Specifications from System Traces
inferredcites →https://doi.org/10.1145/347090.347107openalex-snapshot
Mining high-speed data streams
inferredcites →https://doi.org/10.1145/956750.956821openalex-snapshot
Efficient decision tree construction on streaming data
inferredcites →https://doi.org/10.23919/ecc.2018.8550271openalex-snapshot
Online Learning of Temporal Logic Formulae for Signal Classification
inferredcites →https://doi.org/10.23919/fmcad.2018.8603016openalex-snapshot
Learning Linear Temporal Properties
inferredcites →https://doi.org/10.48550/arxiv.cs/0001018openalex-snapshot
Adaptive simulated annealing (ASA): Lessons learned

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-15839-1_9openalex-snapshot
Classification of Driving Behaviors Using STL Formulas: A Comparative Study
inferred← citeshttps://doi.org/10.1007/978-3-031-37706-8_23openalex-snapshot
Synthesizing Trajectory Queries from Examples
inferred← citeshttps://doi.org/10.1007/978-3-031-50521-8_13openalex-snapshot
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-62645-6_11openalex-snapshot
Adaptable Configuration of Decentralized Monitors
inferred← citeshttps://doi.org/10.1007/978-3-031-70074-3_5openalex-snapshot
Learning Temporal Task Specifications From Demonstrations
inferred← citeshttps://doi.org/10.1007/978-3-032-04190-6_19openalex-snapshot
Configurable Abstraction of Signals Using Signal Temporal Logic
inferred← citeshttps://doi.org/10.1007/s40032-025-01169-wopenalex-snapshot
Artificial Intelligence in Maritime Anomaly Detection: A Decadal Bibliometric Analysis (2014–2024)
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2024.100946openalex-snapshot
Cooperative control of heterogeneous multi-agent systems under spatiotemporal constraints
inferred← citeshttps://doi.org/10.1016/j.artint.2023.103897openalex-snapshot
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110692openalex-snapshot
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
inferred← citeshttps://doi.org/10.1016/j.ic.2022.104957openalex-snapshot
Survey on mining signal temporal logic specifications
inferred← citeshttps://doi.org/10.1038/s41467-024-44694-5openalex-snapshot
Online legal driving behavior monitoring for self-driving vehicles
inferred← citeshttps://doi.org/10.1101/2024.12.09.627524openalex-snapshot
Learning Biomolecular Models using Signal Temporal Logic
inferred← citeshttps://doi.org/10.1109/access.2023.3246512openalex-snapshot
Causal Signal Temporal Logic for the Environmental Control and Life Support System’s Fault Analysis and Explanation
inferred← citeshttps://doi.org/10.1109/access.2023.3277620openalex-snapshot
Monitors That Learn From Failures: Pairing STL and Genetic Programming
inferred← citeshttps://doi.org/10.1109/cdc49753.2023.10383952openalex-snapshot
Pointwise-in-Time Explanation for Linenr Temporal Logic Rules
inferred← citeshttps://doi.org/10.1109/icdm54844.2022.00072openalex-snapshot
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
inferred← citeshttps://doi.org/10.1109/icra55743.2025.11128815openalex-snapshot
Learning Task Specifications from Demonstrations as Probabilistic Automata
inferred← citeshttps://doi.org/10.1109/iros47612.2022.9982088openalex-snapshot
Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters
inferred← citeshttps://doi.org/10.1109/iros47612.2022.9982105openalex-snapshot
Classification of Time-Series Data Using Boosted Decision Trees
inferred← citeshttps://doi.org/10.1109/iros55552.2023.10342290openalex-snapshot
STL: Surprisingly Tricky Logic (for System Validation)
inferred← citeshttps://doi.org/10.1109/lcsys.2024.3519301openalex-snapshot
On Generating Explanations for Reinforcement Learning Policies: An Empirical Study
inferred← citeshttps://doi.org/10.1109/lra.2023.3263368openalex-snapshot
Learning Linear Temporal Properties for Autonomous Robotic Systems
inferred← citeshttps://doi.org/10.1109/lra.2024.3447476openalex-snapshot
Hand It to Me Formally! Data-Driven Control for Human-Robot Handovers With Signal Temporal Logic
inferred← citeshttps://doi.org/10.1109/lra.2026.3662977openalex-snapshot
Neuro-Symbolic Generation of Explanations for Robot Policies With Weighted Signal Temporal Logic
inferred← citeshttps://doi.org/10.1109/ojcsys.2024.3418306openalex-snapshot
Concurrent Learning of Control Policy and Unknown Safety Specifications in Reinforcement Learning
inferred← citeshttps://doi.org/10.1109/tac.2025.3626611openalex-snapshot
Temporal Logic Resilience for Dynamical Systems
inferred← citeshttps://doi.org/10.1145/3542954.3543030openalex-snapshot
An Empirical Comparison of Students’ Performance in Online vs Offline Platforms Using Ensemble Learning Models
inferred← citeshttps://doi.org/10.1162/evco_a_00347openalex-snapshot
BUSTLE: A Versatile Tool for the Evolutionary Learning of STL Specifications from Data
inferred← citeshttps://doi.org/10.3390/wevj16030127openalex-snapshot
Recognition of State of Health Based on Discharge Curve of Battery by Signal Temporal Logic
inferred← citeshttps://doi.org/10.33915/etd.12401openalex-snapshot
JOINT LEARNING OF UNKNOWN SAFETY CONSTRAINTS AND CONTROL POLICIES IN REINFORCEMENT LEARNING
inferred← citeshttps://doi.org/10.70675/85bd37bfz7ed7z4f48zadbcze7f5d13191f3openalex-snapshot
Parametric timed formalisms for specification and monitoring
inferred← citeshttps://doi.org/10.70675/a33b6c22zf5aez4669z8a23zc969be1659efopenalex-snapshot
Learning and Verifying Temporal Specifications for Cyber-Physical Systems
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.