open_problem: ax-2607.04129-87712eb6
This data as json
| id | statement | domain | sourced_how | source_url | cheapest_test | status | claimed_by | sourced_by | shape | created_ts | updated_ts |
|---|---|---|---|---|---|---|---|---|---|---|---|
| ax-2607.04129-87712eb6 | IV Open Problems: For Theorists: (TP5) Binding schedulability to safety across the MRM mode change: What does a timing violation mean for safety, and what must a timing analysis guarantee when a miss becomes imminent? | computer science / cs.SE | enumerated in arXiv paper titled 'open problems' (prose (list items and question sentences under an open-problems heading)): Toward the Right Analytical Model and System Software for Autonomous Driving Systems: Open Problems and Research Directi | https://arxiv.org/abs/2607.04129 | open | ts-synth | needs-theory | 2026-09-02T17:57:21Z | 2026-09-02T17:57:21Z |
Links from other tables
- 1 row from problem_id in problem_link