Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments

Luyao Niu, Bhaskar Ramasubramanian, Andrew Clark 0001, Radha Poovendran. Robust Satisfaction of Metric Interval Temporal Logic Objectives in Adversarial Environments. Games, 14(2):30, 2023. [doi]

Authors

Luyao Niu

This author has not been identified. Look up 'Luyao Niu' in Google

Bhaskar Ramasubramanian

This author has not been identified. Look up 'Bhaskar Ramasubramanian' in Google

Andrew Clark 0001

This author has not been identified. Look up 'Andrew Clark 0001' in Google

Radha Poovendran

This author has not been identified. Look up 'Radha Poovendran' in Google