14 citations · 21 across the 4 of their papers we have counts for
4 papers
Automatic Trajectory Synthesis for Real-Time Temporal Logic
Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
Many safety-critical systems must achieve high-level task specifications with guaranteed safety and correctness. Much recent progress towards this goal has been made through contro…
Opacity of Discrete Event Systems with Active Intruder
Alireza Partovi, Taeho Jung, Lin Hai
Opacity is a security property formalizing the information leakage of a system to an external observer, namely intruder. The conventional opacity that has been studied in the Discr…
Ensuring Privacy in Location-Based Services: A Model-based Approach
Alireza Partovi, Wei Zheng, Taeho Jung +1
In recent years, the widespread of mobile devices equipped with GPS and communication chips has led to the growing use of location-based services (LBS) in which a user receives a s…
Unsupervised Learning for Passive Beamforming
Jiabao Gao, Caijun Zhong, Xiaoming Chen +2
Reconfigurable intelligent surface (RIS) has recently emerged as a promising candidate to improve the energy and spectral efficiency of wireless communication systems. However, the…