Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes 9PHDBFMHH6
| URI | m2://res/9PHDBFMHH6 |
|---|---|
| Kind | preprint |
| Creators | Han Bao, Shinsaku Sakaue, Kazuki Watanabe |
| Date | 2026-10-13 |
| MSC | 49-XX, 90-XX, 93-XX |
| Subjects | arxiv math.OC, arxiv cs.AI, arxiv cs.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-10-13 |
| Ids | arXiv 2610.17541 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 1JS1Y4ZCJ7 | statement | lemma A.4 | arxiv |
| 5R9RD7BNH5 | definition | definition | arxiv |
| safety verification | definition | definition 3.3 | arxiv |
| 6R9QK8NNJZ | statement | lemma A.2 | arxiv |
| 7AZK3F9V0M | statement | proposition 5.4 | arxiv |
| 7Y0E4CW81F | example | example 3.4 | arxiv |
| 9MH937FRZC | statement | proposition 5.5 | arxiv |
| CN1HDC8SCS | statement | proposition 5.6 | arxiv |
| KS339T7QPS | statement | theorem | arxiv |
| PXC3CPF930 | statement | lemma 5.1 | arxiv |
| R3WREQFWGD | statement | proposition 5.7 | arxiv |
| S2V7BXS71Y | statement | proposition 5.8 | arxiv |
| SN4AMPR3WT | statement | theorem 5.2 | arxiv |
| SQYHCQ7902 | statement | lemma A.3 | arxiv |
| STFF4DTZFZ | definition | definition 3.2 | arxiv |
| TSZ528H9B0 | statement | proposition A.1 | arxiv |
| VYY45KA881 | example | example 5.10 | arxiv |
| reachability objective | definition | definition 3.1 | arxiv |
Catalogue records
- arxiv: 2610.17541 (work)
- arxiv_text: 2610.17541 (work)