Andrew Clark
发表
Radha Poovendran,
Shana Moothedath,
Dinuka Sahabandu,
2019,
2019 IEEE 58th Conference on Decision and Control (CDC).
Kenji Ohmori,
Andrew Clark,
Kenneth A. Jones,
2014
.
Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates
pdf
Radha Poovendran,
Linda Bushnell,
Bhaskar Ramasubramanian,
2019,
GameSec.
Luyao Niu,
Andrew Clark,
Andrew Clark,
2019,
GameSec.
Andrew Clark,
Azadeh Ansari,
Rytis Dargis,
2019,
2019 IEEE International Ultrasonics Symposium (IUS).
Richard Sewell,
Andrew Clark,
Petar B. Atanackovic,
2009
.