Oct 27, 2019 � This paper studies the satisfaction of a class of temporal properties for cyber-physical systems (CPSs) over a finite-time horizon in the presence of an�...

Oct 23, 2019 � To the best of our knowledge, this paper is the first to use barrier certificates to study temporal logic satisfaction for CPSs in adversarial�...

Abstract. This paper studies the satisfaction of a class of temporal properties for cyber-physical systems (CPSs) over a finite-time horizon.

This paper studies the satisfaction of a class of temporal properties for cyber-physical systems (CPSs) over a finite-time horizon in the presence of an�...

This paper studies the satisfaction of a class of temporal properties for cyber-physical systems (CPSs) over a finite-time horizon in the presence of an�...

To the best of our knowledge, this paper is the first to use barrier certificates to study temporal logic satisfaction for CPSs in adversarial environments. We�...

This paper studies the synthesis of control policies for an agent that has to satisfy a temporal logic specification in a partially observable environment, in�...

Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates. https://doi.org/10.1007/978-3-030-32430-8_23 �.

Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates. B Ramasubramanian, L Niu, A Clark, L Bushnell, R�...

Poovendran, "Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates", To appear in International�...