SPECTRA: A Markovian Framework for Managing NFR Tradeoffs in Systems with Mixed Observability. - Hargyo T. N. Ignatius; Huma Samin; Rami Bahsoon; Nelly Bencomo (ACM Trans. Auton. Adapt. Syst., 2026)