{
  "id": 27,
  "url": "https://arxiv.org/abs/2607.10918v1",
  "title": "Learning Linear Temporal Specifications from Demonstrations with Uncertainty",
  "summary": "Learning temporal logic specifications from system demonstrations is essential for tasks such as formal verification and controller synthesis, especially in safety-critical domains. Existing approaches typically assume demonstrations are correct or only affected by misclassification errors. In practice, however, system traces are often uncertain or incomplete due to sensor faults, measurement errors, or data loss. We present a framework for learning minimal Linear Temporal Logic (LTL) formulas f",
  "authors": "Parastou Fahim, Constantino Lagoa, Rômulo Meira-G'oes",
  "category": "research",
  "topics": null,
  "orgs": null,
  "regions": null,
  "published_at": "2026-07-12T20:43:52.000Z",
  "fetched_at": "2026-07-14T14:14:15.664Z",
  "source_slug": "arxiv-ethics",
  "source_name": "arXiv",
  "source_homepage": "https://arxiv.org",
  "ethics_ai_record_url": "https://ethics.ai/record/27",
  "original_url": "https://arxiv.org/abs/2607.10918v1",
  "evidence_status": "source-only",
  "attribution": "via ethics.ai"
}