Ignatius, H. T. N., Bahsoon, R., Bencomo, N., & Samin, H. (online). SPECTRA: A Markovian Framework for Managing NFR Tradeoffs in Systems with Mixed Observability. ACM Transactions on Autonomous and Adaptive Systems, https://doi.org/10.1145/3735643