Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, Patricia Derler, Hugo A. Andrade. A run-time verification method with consideration of uncertainties for cyber-physical systems. Microprocessors and Microsystems, 101:104890, 2023. [doi]
Abstract is missing.