Robust online monitoring of signal temporal logic - Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A. (Formal methods in system design, 2017)
Keywords: Automotive parts; Boolean algebra; CAE) and Design; CAI; Circuits and Systems; Computer assisted instruction; Computer simulation; Computer-Aided Engineering (CAD; Cyber-physical systems; Distance learning; Electrical Engineering; Engineering; Environmental monitoring; Semantics; Signal monitoring; Software Engineering/Programming and Operating Systems; Temporal logic; Signal temporal logic; Online monitoring; Cyberphysical systems; Quantitative semantics; Runtime verification