29 citations · 75 across the 35 of their papers we have counts for
4 papers · 1 filter
Linear Temporal Logic Satisfaction in Adversarial Environments using Secure Control Barrier Certificates
Bhaskar Ramasubramanian, Luyao Niu, Andrew Clark +2
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 adversary, in an environmen…
Potential-Based Advice for Stochastic Policy Learning
Baicen Xiao, Bhaskar Ramasubramanian, Andrew Clark +3
This paper augments the reward received by a reinforcement learning agent with potential functions in order to help the agent learn (possibly stochastic) optimal policies. We show…
Secure Control under Partial Observability with Temporal Logic Constraints
Bhaskar Ramasubramanian, Andrew Clark, Linda Bushnell +1
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 the presence of an ad…
Notions of Centralized and Decentralized Opacity in Linear Systems
Bhaskar Ramasubramanian, Rance Cleaveland, Steven I. Marcus
We formulate notions of opacity for cyberphysical systems modeled as discrete-time linear time-invariant systems. A set of secret states is -ISO with respect to a set of nonsecr…