This letter investigates symbol-level security design for a discrete reconfigurable intelligent surface (RIS) enhanced dual-functional radar-communication (DFRC) system. To improve the radar sensing ...

This paper studies the fault detection of discrete-time stochastic systems with linear-time temporal logic (LTL) as correctness requirement-A fault is a violation of LTL specification. The temporal ...