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.
Ren- diconti del Circolo Matematico di Palermo (1884-1940)27(1), 247–271 (Dec 1909)
2 Pith papers cite this work. Polarity classification is still indexing.
years
2026 2verdicts
UNVERDICTED 2representative citing papers
For nearest-integer complex continued fractions over the five Euclidean imaginary quadratic fields, the set with |a_n| >= u_n infinitely often has full or zero Lebesgue measure according as sum u_n^{-2} diverges or converges, and digit-restricted sets F_d(S) have Hausdorff dimension tau(S)/2.
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.
-
Borel--Bernstein and Hirst-type Theorems for Nearest-Integer Complex Continued Fractions over Euclidean Imaginary Quadratic Fields
For nearest-integer complex continued fractions over the five Euclidean imaginary quadratic fields, the set with |a_n| >= u_n infinitely often has full or zero Lebesgue measure according as sum u_n^{-2} diverges or converges, and digit-restricted sets F_d(S) have Hausdorff dimension tau(S)/2.