Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.22364 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914587780055040 |
|---|---|
| author | Zvizdenco, Adrian Bosquetti, Arthur Conrado Veiga Lafuente, Alberto Lluch Matheja, Christoph |
| author_facet | Zvizdenco, Adrian Bosquetti, Arthur Conrado Veiga Lafuente, Alberto Lluch Matheja, Christoph |
| contents | Deciding which sensing capabilities to deploy on an agent in uncertain domains is a fundamental engineering challenge, in which one balances task achievability against the high costs of hardware and processing. This problem has previously been formalized as the Optimal Observability Problem (OOP), based on the well-known Partially Observable Markov Decision Process (POMDP) model for decision-making. This work studies (sub-)symbolic techniques to scale solving of decidable fragments of the OOP, namely the Sensor Selection Problem (SSP) and the Positional Observability Problem (POP). Besides improving the original approach based on parameter synthesis, we develop a new solving method that identifies sensible observation functions via decomposition of POMDPs, improving performance by 3 and 5 orders of magnitude for instance size and runtime, respectively. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_22364 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Scaling Observation-aware Planning in Uncertain Domains Zvizdenco, Adrian Bosquetti, Arthur Conrado Veiga Lafuente, Alberto Lluch Matheja, Christoph Artificial Intelligence Deciding which sensing capabilities to deploy on an agent in uncertain domains is a fundamental engineering challenge, in which one balances task achievability against the high costs of hardware and processing. This problem has previously been formalized as the Optimal Observability Problem (OOP), based on the well-known Partially Observable Markov Decision Process (POMDP) model for decision-making. This work studies (sub-)symbolic techniques to scale solving of decidable fragments of the OOP, namely the Sensor Selection Problem (SSP) and the Positional Observability Problem (POP). Besides improving the original approach based on parameter synthesis, we develop a new solving method that identifies sensible observation functions via decomposition of POMDPs, improving performance by 3 and 5 orders of magnitude for instance size and runtime, respectively. |
| title | Scaling Observation-aware Planning in Uncertain Domains |
| topic | Artificial Intelligence |
| url | https://arxiv.org/abs/2605.22364 |