Research Article

A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC

Figure 4

RA-SPM-LUF template.