Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2007.12501
Cited By
v1
v2 (latest)
Secure Control in Partially Observable Environments to Satisfy LTL Specifications
IEEE Transactions on Automatic Control (TAC), 2020
22 July 2020
Bhaskar Ramasubramanian
Luyao Niu
Andrew Clark
L. Bushnell
Radha Poovendran
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Secure Control in Partially Observable Environments to Satisfy LTL Specifications"
2 / 2 papers shown
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin
Bingzhao Gao
Xiao Yu
297
51
0
20 Feb 2024
Privacy-Preserving Resilience of Cyber-Physical Systems to Adversaries
IEEE Conference on Decision and Control (CDC), 2020
Bhaskar Ramasubramanian
Luyao Niu
Andrew Clark
L. Bushnell
Radha Poovendran
130
7
0
27 Jul 2020
1
Page 1 of 1
