[NKA20] Mehran Alidoost Nia, Mehdi Kargahi and Alessandro Abate. Self-Adaptation with Imperfect Monitoring in Solar Energy Harvesting Systems. In Proc. CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST'20). 2020. [Proposes model-driven techniques for analysing self-adaptive solar energy harvesting systems using PRISM as an underlying model checker.]
Links: [Google] [Google Scholar]