Next generation wireless networks are expected to be greatly supported by unmanned
aerial vehicles, which can act as aerial base stations and constitute a promising solution for …

Data-driven systems are gathering increasing amounts of data from users, and sensitive
user data requires privacy protections. In some cases, the data gathered is non-numerical or …

In this paper, we investigate the problem of synthesizing optimal control policies for
stochastic control systems to achieve high-level temporal logic specifications under security …

This article studies the synthesis of control policies for an agent that has to satisfy a temporal
logic specification in a partially observable environment, in the presence of an adversary …

This paper investigates an optimal planning prob-lem with the requirement of preventing
high-level mission specifications from being revealed to the intruder. We assume that the …

Cyber and cyber-physical systems equipped with machine learning algorithms such as
autonomous cars share environments with humans. In such a setting, it is important to align …

In this chapter, the applicability of the exact barrier-penalty function and its benefits to
increase the privacy level of cyber-physical systems is presented. The chapter starts with the …