activity
20192026
most citedControl Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning

12 citations · 35 across the 14 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

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…