PPT-Adaptive Regret Minimization in Bounded Memory Games

Jeremiah Blocki Nicolas Christin Anupam Datta Arunesh Sinha 1 GameSec 2013 Invited Paper Outline 2 Motivation Background Bounded Memory Games Adaptive Regret Results. Stephen Lovelady and Daniel Sgroi. Modelling Regret in decision under uncertainty. Typically as “anticipated regret”. A function of the difference between the outcome resulting from your choice and the outcome which would have resulted had you made a different choice. Equilibria. : How…. …and What’s the Point?. Yevgeniy Vorobeychik. Sandia National Laboratories. Who am I?. Ph.D. CS, University of Michigan, advised by Michael Wellman. approximating/estimating . Confession is literally “same word”- agreeing with God about our sin. . 1 John 1:8–10 . “If we say that we have no sin, we are deceiving ourselves and the truth is not in us. 9 If we confess our sins, He is faithful and righteous to forgive us our sins and to cleanse us from all unrighteousness. 10 If we say that we have not sinned, we make Him a liar and His word is not in us.” . Graphical sermon notes by,. Rev. Ed Whitman. Sunday, . November 2, . 2014. Evangelical Congregational Church in Dunstable Massachusetts. © Copyright 2014 by the . author. , Rev. Ed Whitman. , with . Forecasting Biases .  misinformation to be used in making Decisions. Decision Bias  . Information can still lead to biased decisions. Confirmation bias. Decision tendencies to go with …... Status quo. Price of Anarchy Seminar. Presenting: Aviv . Kuvent. Professor: Michal Feldman. Reminder. PoA. bound results for PNE, MNE.. However:. PNE need not always exist. MNE is hard to compute. Introduces 2 additional types of equilibrium:. Georgios. . Piliouras. Georgia Institute of Technology. John Hopkins University. No Regret Algorithms. in . Games. Georgios. . Piliouras. Georgia Institute of Technology. John Hopkins University. No Regret Algorithms. networks: a review. Thilo. . Gross and . Bernd. . Blasius. Marek Pilch. ADAPTIVE NETWORKS – . an. . introduction. SELF-ORGANIZATION IN . BOOLEAN NETWORKS. LEADERSHIP . IN COUPLED . OSCILLATOR. . Jeremiah Blocki. Nicolas Christin. Anupam Datta. Arunesh Sinha. Work in progress. Motivating Example. 2. Employee Actions: . {Behave, Violate}. Audit Process Example. 3. Behave. Violate. Ignore. 0. -5. Games and adversarial s earch Why study games? Games can be a good model of many competitive activities Military confrontations, negotiation, auctions, … Games are a traditional hallmark of intelligence Neighbourhood Structure in Games Soumya Paul & R. Ramanujam The Institute of Mathematical Sciences Chennai ACTS 2011 Neighbourhood Sturcture in Games Neighbourhood Sturcture in Games Neighbourhood Sturcture in Games Regret Minimization in Bounded Memory Games Jeremiah Blocki Nicolas Christin Anupam Datta Arunesh Sinha Work in progress Motivating Example 2 Employee Actions: {Behave, Violate} Audit Process Example 3. Contents. Motivation. What. is . Bounded. Model . Checking. ?. Translation. from . Bounded. MC to SAT. Completeness. 01.11.2019. 4. Prerequisites. General Model Checking. Temporal Logic. 01.11.2019. . Avoiding Regret and Seeking Pride. People avoid actions that create regret. People seek actions that create pride. Fearing regret and seeking pride causes investors to be pre-disposed to selling winners .