A decoupled agent framework with a priori conventions enables reliable composition of policies for multiple omega-regular objectives on graphs, with specific minimal conventions characterized for Buchi, co-Buchi, and parity classes.
citation dossier
In: Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
1Pith papers citing it
1reference links
cs.FLtop field · 1 papers
UNVERDICTEDtop verdict bucket · 1 papers
why this work matters in Pith
Pith has found this work in 1 reviewed paper. Its strongest current cluster is cs.FL (1 papers). The largest review-status bucket among citing papers is UNVERDICTED (1 papers). For highly cited works, this page shows a dossier first and a bounded explorer second; it never tries to render every citing paper at once.
fields
cs.FL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Decoupled Planning for Multiple Omega-Regular Objectives
A decoupled agent framework with a priori conventions enables reliable composition of policies for multiple omega-regular objectives on graphs, with specific minimal conventions characterized for Buchi, co-Buchi, and parity classes.