14 citations · 108 across the 39 of their papers we have counts for
5 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…
Optimal Secure Control with Linear Temporal Logic Constraints
Luyao Niu, Andrew Clark
Prior work on automatic control synthesis for cyber-physical systems under logical constraints has primarily focused on environmental disturbances or modeling uncertainties, howeve…
A Differentially Private Incentive Design for Traffic Offload to Public Transportationx
Luyao Niu, Andrew Clark
Increasingly large trip demands have strained urban transportation capacity, which consequently leads to traffic congestion and rapid growth of greenhouse gas emissions. In this wo…
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…