Old Web
English
Sign In
Acemap
>
authorDetail
>
Rao Shi
Rao Shi
National University of Defense Technology
Actuator
security properties
Linear temporal logic
Embedded system
Computer science
1
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Synthesizing Secure Reactive Controller for Unmanned Aerial System
2020
Wei Lu
ShaoXian Shu
Rao Shi
Rui Li
Wei Dong
Show All
Source
Cite
Save
Citations (1)
1