On Synthesis of Metric Interval Temporal Logics

arXiv:2609.01032 · cs.LO, cs.AI · Submitted 2026-09-01 · Read on arXiv

cs.LO, cs.AI

Submitted: 2026-09-01

Updated: 2026-09-01

Terminology

Trace — 86× in this paper · explained in 2 episodes
Benchmark — 12× in this paper · explained in 2 episodes
Accuracy — 6× in this paper · explained in 1 episode
Active Learning — 6× in this paper · explained in 6 episodes
Timed Regular Expressions — 5× in this paper
Metric Interval Temporal Logic — 4× in this paper
Reinforcement Learning — 3× in this paper · explained in 4 episodes
Core — 2× in this paper · explained in 2 episodes
Hybrid System — 2× in this paper · explained in 2 episodes
Structural Constraints — 2× in this paper · explained in 2 episodes
Abstraction — 1× in this paper · explained in 1 episode
Archetype — 1× in this paper · explained in 1 episode
Benchmarking — 1× in this paper · explained in 3 episodes
Clustering — 1× in this paper · explained in 2 episodes
Feature Extraction — 1× in this paper · explained in 2 episodes
Formal Methods — 1× in this paper · explained in 3 episodes
Inverse Problem — 1× in this paper · explained in 2 episodes
Large Language Models (LLMs) — 1× in this paper · explained in 6 episodes
Linear Temporal Logic — 1× in this paper
Linear Temporal Logic (LTL) — 1× in this paper · explained in 4 episodes
Pruning — 1× in this paper · explained in 4 episodes
Robustness — 1× in this paper · explained in 5 episodes
SMT solver — 1× in this paper · explained in 2 episodes
Theoretical Guarantees — 1× in this paper · explained in 2 episodes
Verification — 1× in this paper · explained in 2 episodes

Terminology

Related papers