Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization

11/18/2019
by   Suda Bharadwaj, et al.
0

This paper studies a two-player game with a quantitative surveillance requirement on an adversarial target moving in a discrete state space and a secondary objective to maximize short-term visibility of the environment. We impose the surveillance requirement as a temporal logic constraint.We then use a greedy approach to determine vantage points that optimize a notion of information gain, namely, the number of newly-seen states. By using a convolutional neural network trained on a class of environments, we can efficiently approximate the information gain at each potential vantage point.Subsequent vantage points are chosen such that moving to that location will not jeopardize the surveillance requirement, regardless of any future action chosen by the target. Our method combines guarantees of correctness from formal methods with the scalability of machine learning to provide an efficient approach for surveillance-constrained visibility optimization.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 3

page 6

09/17/2018

Autonomous Exploration, Reconstruction, and Surveillance of 3D Environments Aided by Deep Learning

We study the problem of visibility-based exploration, reconstruction and...
09/15/2017

Synthesis of surveillance strategies via belief abstraction

We study the problem of synthesizing a controller for a robot with a sur...
10/18/2020

Visibility Optimization for Surveillance-Evasion Games

We consider surveillance-evasion differential games, where a pursuer mus...
02/06/2019

Distributed Synthesis of Surveillance Strategies for Mobile Sensors

We study the problem of synthesizing strategies for a mobile sensor netw...
08/08/2019

UAV Surveillance Under Visibility and Dwell-Time Constraints: A Sampling-Based Approach

A framework is introduced for planning unmanned aerial vehicle flight pa...
04/06/2019

Online Trajectory Generation of a MAV for Chasing a Moving Target in 3D Dense Environments

This work deals with a moving target chasing mission of an aerial vehicl...
05/22/2016

Smart broadcasting: Do you want to be seen?

Many users in online social networks are constantly trying to gain atten...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.