{"type":"ScholarlyArticle","title":"When Security Games Hit Traffic: Optimal Traffic Enforcement Under One Sided Uncertainty","authors":[{"name":"Ariel Rosenfeld","slug":"ariel-rosenfeld","given":"Ariel","family":"Rosenfeld","affiliation":"Department of Computer Science , Bar-Ilan University , Ramat-Gan , Israel 52900 ."},{"name":"Sarit Kraus","slug":"sarit-kraus","given":"Sarit","family":"Kraus","affiliation":"Department of Computer Science , Bar-Ilan University , Ramat-Gan , Israel 52900 ."}],"abstract":"Efficient traffic enforcement is an essential, yet complex, component in preventing road accidents. In this paper, we present a novel model and an optimizing algorithm for mitigating some of the computational challenges of real-world traffic enforcement allocation in large road networks. Our approach allows for scalable, coupled and non-Markovian optimization of multiple police units and guarantees optimality. In an extensive empirical evaluation we show that our approach favorably compares to several baseline solutions achieving a significant speed-up, using both synthetic and real-world road networks.","doi":"10.24963/ijcai.2017/533","url":"https://ijcai.org/proceedings/2017/533","pdf":"https://ijcai.org/proceedings/2017/0533.pdf","markdown":"https://ijcai.org/proceedings/2017/533.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/533","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Multidisciplinary Topics and Applications","track":"Main track","number":533,"pages":{"first":3814,"last":3822},"keywords":["Multidisciplinary Topics and Applications: Multidisciplinary Topics and Applications","Multidisciplinary Topics and Applications: AI&Security and Privacy"],"videos":[],"references":[{"position":1,"raw":"[Agmon et al., 2009] Noa Agmon, Sarit Kraus, Gal A Kaminka, and Vladimir Sadov. Adversarial uncertainty in multi-robot patrol. In Proceedings of the 2009 Interna- tional Joint Conference on Artificial Intelligencee, pages 1811-1817, 2009.","title":"Adversarial uncertainty in multi-robot patrol","authors":"Sarit Noa Agmon, Kraus, Vladimir Kaminka, Sadov","year":"2009","venue":"Proceedings of the 2009 International Joint Conference on Artificial Intelligencee","doi":null,"url":null,"internal_url":"/proceedings/2009/301"},{"position":2,"raw":"[Agmon et al., 2011] Noa Agmon, Gal A Kaminka, and Sarit Kraus. Multi-robot adversarial patrolling: facing a full-knowledge opponent. Journal of Artificial Intelligence Research, 42:887-916, 2011.","title":"Multi-robot adversarial patrolling: facing a full-knowledge opponent","authors":"Noa Agmon, Sarit Kaminka, Kraus","year":"2011","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Basilico et al., 2009] Nicola Basilico, Nicola Gatti, and Francesco Amigoni. Leader-follower strategies for robotic patrolling in environments with arbitrary topologies. In Proceedings of the 2009 International Conference on Au- tonomous Agents & Multiagent Systems, pages 57-64, 2009.","title":"Leader-follower strategies for robotic patrolling in environments with arbitrary topologies","authors":"Nicola Basilico, Nicola Gatti, Francesco Amigoni","year":"2009","venue":"Proceedings of the 2009 International Conference on Autonomous Agents & Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bates et al., 2012] Lyndel Bates, David Soole, and Barry Watson. The effectiveness of traffic policing in reducing traffic crashes. In Policing and security in practice, pages 90-109. Springer, 2012.","title":"The effectiveness of traffic policing in reducing traffic crashes","authors":"Lyndel Bates, David Soole, Barry Watson","year":"2012","venue":"Policing and security in practice","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Black, 2005] Paul Black. Dictionary of Algorithms and Data Structures, U.S. National Institute of Standards and Technology, https://xlinux.nist.gov/dads/, 2005.","title":"Dictionary of Algorithms and Data Structures","authors":"Paul Black","year":null,"venue":null,"doi":null,"url":"https://xlinux.nist.gov/dads/,2005","internal_url":null},{"position":6,"raw":"[Brown et al., 2014] Matthew Brown, Sandhya Saisubrama- nian, Pradeep Reddy Varakantham, and Milind Tambe. Streets: game-theoretic traffic patrolling with exploration and exploitation. In Proceedings of the 2014 AAAI Con- ference on Artificial Intelligence, 2014.","title":"Streets: game-theoretic traffic patrolling with exploration and exploitation","authors":"Matthew Brown, Sandhya Saisubramanian, Pradeep Reddy Varakantham, Milind Tambe","year":"2014","venue":"Proceedings of the 2014 AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Chang, 2005] Li-Yen Chang. Analysis of freeway accident frequencies: negative binomial regression versus artificial neural network. Safety science, 43(8):541-557, 2005.","title":"Analysis of freeway accident frequencies: negative binomial regression versus artificial neural network","authors":"Li-Yen Chang","year":"2005","venue":"Safety science","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Chawla, 2005] Nitesh V Chawla. Data mining for imbal- anced datasets: An overview. In Data mining and knowl- edge discovery handbook, pages 853-867. Springer, 2005.","title":"Data mining for imbalanced datasets: An overview","authors":"V Nitesh, Chawla","year":"2005","venue":"Data mining and knowledge discovery handbook","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Chen et al., 2011] Der-San Chen, Robert G Batson, and Yu Dang. Applied integer programming: modeling and solution. John Wiley & Sons, 2011.","title":"Applied integer programming: modeling and solution","authors":"Chen","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[DeAngelo and Hansen, 2014] Gregory DeAngelo and Ben- jamin Hansen. Life and death in the fast lane: Police en- forcement and traffic fatalities. American Economic Jour- nal: Economic Policy, 6(2):231-257, 2014.","title":"Life and death in the fast lane: Police enforcement and traffic fatalities","authors":"Deangelo, Hansen, Gregory Deangelo, Benjamin Hansen","year":"2014","venue":"American Economic Journal: Economic Policy","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Delle Fave et al., 2014] Francesco Maria Delle Fave, Al- bert Xin Jiang, Zhengyu Yin, Chao Zhang, Milind Tambe, Sarit Kraus, and John P Sullivan. Game-theoretic pa- trolling with dynamic execution uncertainty and a case study on a real transit system. Journal of Artificial Intelli- gence Research, 50:321-367, 2014.","title":"Game-theoretic patrolling with dynamic execution uncertainty and a case study on a real transit system","authors":"Francesco Maria, Delle Fave, Albert Xin Jiang, Zhengyu Yin, Chao Zhang, Milind Tambe, Sarit Kraus, John P Sullivan","year":"2014","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Delle Fave et al., 2015] Francesco Maria Delle Fave, Eric Shieh, Manish Jain, Albert Xin Jiang, Heather Rosoff, Milind Tambe, and John P Sullivan. Efficient solutions for joint activity based security games: fast algorithms, results and a field experiment on a transit system. Autonomous Agents and Multi-Agent Systems, 29(5):787-820, 2015.","title":"Efficient solutions for joint activity based security games: fast algorithms, results and a field experiment on a transit system","authors":"Francesco Maria, Delle Fave, Eric Shieh, Manish Jain, Albert Xin Jiang, Heather Rosoff, Milind Tambe, John P Sullivan","year":"2015","venue":"Autonomous Agents and Multi-Agent Systems","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Elliott et al., 2005] MA Elliott, Jeremy Broughton, et al. How methods and levels of policing affect road casualty rates. Transport Research Laboratory, 2005.","title":"How methods and levels of policing affect road casualty rates","authors":"Elliott","year":"2005","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Elvik et al., 2009] Rune Elvik, Truls Vaa, Alena Erke, and Michael Sorensen. The handbook of road safety measures. Emerald Group Publishing, 2009.","title":"The handbook of road safety measures","authors":"Elvik","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Fang et al., 2015] Fei Fang, Peter Stone, and Milind Tambe. When security games go green: Designing defender strate- gies to prevent poaching and illegal fishing. In Proceed- ings of the 2015 international joint conference on Artificial Intelligence, 2015.","title":"When security games go green: Designing defender strategies to prevent poaching and illegal fishing","authors":"Fei Fang, Peter Stone, Milind Tambe","year":"2015","venue":"Proceedings of the 2015 international joint conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2015/367"},{"position":16,"raw":"[Gurobi Optimization, 2016] Inc. Gurobi Optimization. Gurobi optimizer manual, 2016.","title":"Gurobi Optimization","authors":null,"year":"2016","venue":"Gurobi optimizer manual","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Kar et al., 2015] Debarun Kar, Fei Fang, Francesco Delle Fave, Nicole Sintov, and Milind Tambe. A game of thrones: when human behavior models compete in repeated stackelberg security games. In Proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems, pages 1381-1390, 2015.","title":"A game of thrones: when human behavior models compete in repeated stackelberg security games","authors":"Kar","year":"2015","venue":"Proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Lin et al., 2011] Raz Lin, Sarit Kraus, Noa Agmon, Samuel Barrett, and Peter Stone. Comparing agents' success against people in security domains. In Proceedings of the 2011 AAAI Conference on Artificial Intelligence, pages 809-814, 2011.","title":"Comparing agents' success against people in security domains","authors":"Raz Lin, Sarit Kraus, Noa Agmon, Samuel Barrett, Peter Stone","year":"2011","venue":"Proceedings of the 2011 AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Paruchuri et al., 2008] Praveen Paruchuri, Jonathan P Pearce, Janusz Marecki, Milind Tambe, Fernando Or- donez, and Sarit Kraus. Playing games for security: An efficient exact algorithm for solving bayesian stackelberg games. In Proceedings of the 2008 International Confer- ence on Autonomous Agents & Multiagent Systems, pages 895-902, 2008.","title":"Playing games for security: An efficient exact algorithm for solving bayesian stackelberg games","authors":"Praveen Paruchuri, Jonathan P Pearce, Janusz Marecki, Milind Tambe, Fernando Ordonez, Sarit Kraus","year":"2008","venue":"Proceedings of the 2008 International Conference on Autonomous Agents & Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Perry, 2013] Walt L Perry. Predictive policing: The role of crime forecasting in law enforcement operations. Rand Corporation, 2013.","title":"Predictive policing: The role of crime forecasting in law enforcement operations","authors":"Walt L Perry","year":"2013","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Rosenfeld and Kraus, 2016] Ariel Rosenfeld and Sarit Kraus. Providing arguments in discussions on the basis of the prediction of human argumentative behavior. ACM Transactions on Interactive Intelligent Systems, 6(4):30:1-30:33, December 2016.","title":"Providing arguments in discussions on the basis of the prediction of human argumentative behavior","authors":"Kraus Rosenfeld, Ariel Rosenfeld, Sarit Kraus","year":"2016","venue":"ACM Transactions on Interactive Intelligent Systems","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Rosenfeld et al., 2015] Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, and Sarit Kraus. Intelligent agent supporting human-multi-robot team collaboration. In Proceedings of the 2015 International Joint Conference on Artificial Intelligence, pages 1902-1908, 2015.","title":"Intelligent agent supporting human-multi-robot team collaboration","authors":"Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus","year":"2015","venue":"Proceedings of the 2015 International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2015/270"},{"position":23,"raw":"[Rosenfeld et al., 2016] Ariel Rosenfeld, Joseph Keshet, and Sarit Goldman, Claudia V.and Kraus. Online prediction of exponential decay time series with human-agent applica- tion. In Proceedings of the 2016 European Conference on Artificial Intelligence, pages 595-603, 2016.","title":"Online prediction of exponential decay time series with human-agent application","authors":"Rosenfeld","year":"2016","venue":"Proceedings of the 2016 European Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Shieh et al., 2012] Eric Shieh, Bo An, Rong Yang, Milind Tambe, Craig Baldwin, Joseph DiRenzo, Ben Maule, and Garrett Meyer. Protect: A deployed game theoretic system to protect the ports of the united states. In Proceedings of the 2012 International Conference on Autonomous Agents & Multiagent Systems, pages 13-20, 2012.","title":"Protect: A deployed game theoretic system to protect the ports of the united states","authors":"Eric Shieh, Bo An, Rong Yang, Milind Tambe, Craig Baldwin, Joseph Direnzo, Ben Maule, Garrett Meyer","year":"2012","venue":"Proceedings of the 2012 International Conference on Autonomous Agents & Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Simandl et al., 2016] Jenna K Simandl, Andrew J Graet- tinger, Randy K Smith, Steven Jones, and Timothy E Bar- nett. Making use of big data to evaluate the effectiveness of selective law enforcement in reducing crashes. Trans- portation Research Record: Journal of the Transportation Research Board, (2584):8-15, 2016.","title":"Making use of big data to evaluate the effectiveness of selective law enforcement in reducing crashes","authors":"Jenna K Simandl, Andrew J Graettinger, Randy K Smith, Steven Jones, Timothy E Barnett","year":"2016","venue":"Transportation Research Record: Journal of the Transportation Research Board","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Sless et al., 2014] Efrat Sless, Noa Agmon, and Sarit Kraus. Multi-robot adversarial patrolling: facing coordinated at- tacks. In Proceedings of the 2014 International Confer- ence on Autonomous Agents & Multiagent Systems, pages 1093-1100, 2014.","title":"Multi-robot adversarial patrolling: facing coordinated attacks","authors":"Efrat Sless, Noa Agmon, Sarit Kraus","year":"2014","venue":"Proceedings of the 2014 International Conference on Autonomous Agents & Multiagent Systems","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Tambe, 2011] Milind Tambe. Security and game theory: al- gorithms, deployed systems, lessons learned. Cambridge University Press, 2011.","title":"Security and game theory: algorithms, deployed systems, lessons learned","authors":"Milind Tambe","year":"2011","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Weisburd, 2016] Sarit Weisburd. Does police presence re- duce car accidents? Technical report, Auguest 2016.","title":"Does police presence reduce car accidents? Technical report","authors":"Sarit Weisburd, Weisburd","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Yang et al., 2013] Rong Yang, Albert Xin Jiang, Milind Tambe, and Fernando Ordonez. Scaling-up security games with boundedly rational adversaries: A cutting-plane ap- proach. In Proceedings of the 2013 International Joint Conference on Artificial Intelligence, 2013.","title":"Scaling-up security games with boundedly rational adversaries: A cutting-plane approach","authors":"Rong Yang, Albert Xin Jiang, Milind Tambe, Fernando Ordonez","year":"2013","venue":"Proceedings of the 2013 International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2013/67"},{"position":30,"raw":"[Yin et al., 2012] Zhengyu Yin, Albert Xin Jiang, Matthew Paul Johnson, Christopher Kiekintveld, Kevin Leyton-Brown, Tuomas Sandholm, Milind Tambe, and John P Sullivan. Trusts: Scheduling randomized patrols for fare inspection in transit systems. In Proceedings of the 2012 Innovative Applications of Artificial Intelligence, 2012.","title":"Trusts: Scheduling randomized patrols for fare inspection in transit systems","authors":"Zhengyu Yin, Albert Xin Jiang, Matthew Paul Johnson, Christopher Kiekintveld, Kevin Leyton-Brown, Tuomas Sandholm, Milind Tambe, John P Sullivan","year":"2012","venue":"Proceedings of the 2012 Innovative Applications of Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Zhang et al., 2016] Chao Zhang, Shahrzad Gholami, De- barun Kar, Arunesh Sinha, Manish Jain, Ripple Goyal, and Milind Tambe. Keeping pace with criminals: An extended study of designing patrol allocation against adaptive op- portunistic criminals. Games, 7(3):15, 2016.","title":"Keeping pace with criminals: An extended study of designing patrol allocation against adaptive opportunistic criminals","authors":"Chao Zhang, Shahrzad Gholami, Debarun Kar, Arunesh Sinha, Manish Jain, Ripple Goyal, Milind Tambe","year":"2016","venue":"Games","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}