12 citations · 35 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.RO2019★ 12 cited
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning
Alper Kamil Bozkurt, Yu Wang, Michael M. Zavlanos +1
We present a reinforcement learning (RL) framework to synthesize a control policy from a given linear temporal logic (LTL) specification in an unknown stochastic environment that c…
cs.FL2019★ 2 cited
Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach
Yu Wang, Alper Kamil Bozkurt, Nathan Smith +1
Resilience to sensor and actuator attacks is a major concern in the supervisory control of discrete events in cyber-physical systems (CPS). In this work, we propose a new framework…