A Temporal Framework For Hypergame Analysis Of Cyber Physical Systems In Contested Environments

[1]  P. Bennett,et al.  Toward a theory of hypergames , 1977 .

[2]  J. M. Smith,et al.  The Logic of Animal Conflict , 1973, Nature.

[3]  A class of games that evolve , 1971 .

[4]  Charles S. Peirce,et al.  A Neglected Argument for the Reality of God , 2014 .

[5]  Johan Anthory Willem Kamp,et al.  Tense logic and the theory of linear order , 1968 .

[6]  Keith W. Hipel,et al.  Solving Complex Conflicts , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[7]  Peter M. Bennett,et al.  Floating ideas—An experiment in enhancing hypergames with maps , 1985 .

[8]  Yexin Song,et al.  Interactive integration model of hypergames with fuzzy preference perceptions in multi-conflict situations , 2009, 2009 IEEE International Conference on Intelligent Computing and Intelligent Systems.

[9]  Keith W. Hipel,et al.  Nationalization of the Suez Canal , 1980 .

[10]  D. Fudenberg,et al.  Perfect Bayesian equilibrium and sequential equilibrium , 1991 .

[11]  Toshimitsu Ushio,et al.  Multi-Population Replicator Dynamics with Changes of Interpretations of Strategies , 2006, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[12]  G. E. Hughes,et al.  An introduction to modal logic, 2e éd., 1 vol , 1973 .

[13]  Chitta Baral,et al.  Logic Programming and Reasoning about Actions , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

[14]  Keith W. Hipel,et al.  Approaches to conflict modeling: A study of a possible USA-USSR nuclear confrontation , 1983 .

[15]  Pierre Wolper.  Temporal Logic Can Be More Expressive , 1983, Inf. Control..

[16]  M. O. Giesen,et al.  Aristotle's fallacy: A hypergame in the oil shipping business … , 1979 .

[17]  Fangzhen Lin,et al.  Situation Calculus , 2008, Handbook of Knowledge Representation.

[18]  Stephen Marsh,et al.  Trust, Untrust, Distrust and Mistrust - An Exploration of the Dark(er) Side , 2005, iTrust.

[19]  B. Jones.  BOUNDED RATIONALITY , 1999 .

[20]  Bo An,et al.  GUARDS and PROTECT: next generation applications of security games , 2011, SECO.

[21]  Avinash Dixit,et al.  Games of Strategy , 1999 .

[22]  Terence M. Ryan.  Utility Theory and Decision-making under Uncertainty , 1978 .

[23]  A. Mas-Colell,et al.  Microeconomic Theory , 1995 .

[24]  M. M. Flood.  Some Experimental Games , 1958 .

[25]  Keith W. Hipel,et al.  Conflict analysis of an export credit trade dispute , 1983 .

[26]  Lee Alan Dugatkin,et al.  Game Theory and Animal Behavior , 2000 .

[27]  J. Woods.  Ignorance and semantic tableaux: Aliseda on abduction , 2007 .

[28]  Paul E. Lehner,et al.  Using Hypergames to Increase Planned Payoff and Reduce Risk , 2002, Autonomous Agents and Multi-Agent Systems.

[29]  Jerome J. Braun.  Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2010 , 2010 .

[30]  Ben C. Moszkowski,et al.  Compositional reasoning about projected and infinite time , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[31]  Thomas A. Henzinger,et al.  Timed Alternating-Time Temporal Logic , 2006, FORMATS.

[32]  Philippe Schnoebelen,et al.  Temporal logic with forgettable past , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

[33]  Kyoichi Kijima,et al.  Mixed Extension of Hypergames and Its Applications to Inspection Games , 2007 .

[34]  P. Bennett,et al.  The arms race as a hypergame: A study of routes towards a safer world☆ , 1982 .

[35]  Peter B. Ladkin,et al.  On binary constraint problems , 1994, JACM.

[36]  Andrzej Szalas,et al.  Arithmetical Axiomatization of First-Order Temporal Logic , 1987, Inf. Process. Lett..

[37]  Andreas Blass,et al.  Existential Fixed-Point Logic , 1987, Computation Theory and Logic.

[38]  Frank Wolter,et al.  Combining Spatial and Temporal Logics: Expressiveness vs. Complexity , 2011, J. Artif. Intell. Res..

[39]  D. Lutz,et al.  Paradoxes of Rationality: Theory of Metagames and Political Behavior , 1973 .

[40]  Ernest Davis.  Infinite Loops in Finite Time: Some Observations , 1992, KR.

[41]  Bahman Gharesifard,et al.  Evolution of the perception about the opponent in hypergames , 2010, 49th IEEE Conference on Decision and Control (CDC).

[42]  Ariel Rubinstein,et al.  A Course in Game Theory , 1995 .

[43]  Dov M. Gabbay,et al.  An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers , 1990, J. Log. Comput..

[44]  Michael Fisher,et al.  Temporal Representation and Reasoning , 2008, Handbook of Knowledge Representation.

[45]  C. S. Huxham,et al.  Hypergames and design decisions , 1983 .

[46]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[47]  Paul Lehner,et al.  Using hypergames to select plans in competitive environments , 2000 .

[48]  Ye-Xin Song,et al.  Fusion and automatic ranking of fuzzy outcome preferences information in hypergame models , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[49]  M. Esmel ElAlami,et al.  Knowledge Extraction for Discriminating Male and Female in Logical Reasoning from Student Model , 2009, ArXiv.

[50]  Mordecai Kurz,et al.  On rational belief equilibria , 1994 .

[51]  Y. Yavin,et al.  Pursuit-evasion differential games with deception or interrupted observation , 1987 .

[52]  Han Reichgelt,et al.  Temporal Qualification in Artificial Intelligence , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

[53]  Thomas A. Henzinger,et al.  The Element of Surprise in Timed Games , 2003, CONCUR.

[54]  Carlo Kopp.  Shannon, hypergames and Information Warfare , 2003 .

[55]  Saharon Shelah,et al.  On the temporal analysis of fairness , 1980, POPL '80.

[56]  David A. Burke,et al.  Towards a Game Theory Model of Information Warfare , 2012 .

[57]  Phongphun Kijsanayothin,et al.  Cyber-security analysis of smart grid SCADA systems with game models , 2014, CISR '14.

[58]  P. M. Melliar-Smith,et al.  An Interval-Based Temporal Logic , 1983, Logic of Programs.

[59]  Gérard Ligozat,et al.  Tractable relations in temporal reasoning: pre-convex relations , 1994 .

[60]  Keith W. Hipel,et al.  Conflict analysis: models and resolutions , 1984 .

[61]  Pierre Wolper,et al.  The Complementation Problem for Büchi Automata with Appplications to Temporal Logic , 1987, Theor. Comput. Sci..

[62]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[63]  Keith W. Hipel,et al.  A hypergame algorithm for modeling misperceptions in bargaining , 1988 .

[64]  J. Nash.  Two-Person Cooperative Games , 1953 .

[65]  J. Baron.  Thinking and Deciding , 2023 .

[66]  Alan S. Gibson.  Applied Hypergame Theory for Network Defense , 2013 .

[67]  Rong Yang,et al.  Challenges in Patrolling to Maximize Pristine Forest Area (Position Paper) , 2012, AAAI Spring Symposium: Game Theory for Security, Sustainability, and Health.

[68]  Jingde Cheng,et al.  A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations , 2008, KES.

[69]  Wojciech Jamroga,et al.  A logic for strategic reasoning , 2005, AAMAS '05.

[70]  Vincent Conitzer,et al.  Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games , 2010, AAAI.

[71]  J. Nash.  Equilibrium Points in N-Person Games. , 1950, Proceedings of the National Academy of Sciences of the United States of America.

[72]  Howard Bowman,et al.  A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection , 2003, J. Log. Comput..

[73]  Martín Abadi,et al.  The Power of Temporal Proofs , 1989, Theor. Comput. Sci..

[74]  J. Nash.  THE BARGAINING PROBLEM , 1950, Classics in Game Theory.

[75]  Zohar Manna,et al.  Temporal Verification of Simulation and Refinement , 1993, REX School/Symposium.

[76]  Atocha Aliseda,et al.  Abductive Reasoning: Challenges Ahead , 2009, THEORIA.

[77]  Michael W. Nicholson,et al.  Rational Analysis for a Problematic World , 1990 .

[78]  Robin Hirsch,et al.  From points to intervals , 1994, J. Appl. Non Class. Logics.

[79]  J. Benthem.  Games in dynamic epistemic logic , 2001 .

[80]  Dimitar P. Guelev,et al.  A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus , 2004, J. Appl. Non Class. Logics.

[81]  J. Fletcher.  Evolutionary Game Theory, Natural Selection, and Darwinian Dynamics , 2006, Journal of Mammalian Evolution.

[82]  Yexin Song,et al.  Fuzzy Information Fusion for Hypergame Outcome Preference Perception , 2006 .

[83]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[84]  James A. Lewis.  Cyberwar Thresholds and Effects , 2011, IEEE Security & Privacy.

[85]  Malcolm Dando,et al.  Using Hypergames to Model Difficult Social Issues: An Approach to the Case of Soccer Hooliganism , 1980 .

[86]  Stewart Macaulay.  Non-contractual relations in business: a preliminary study , 1963 .

[87]  Andrzej Szalas,et al.  Incompleteness of First-Order Temporal Logic with Until , 1988, Theor. Comput. Sci..

[88]  Brian Knight,et al.  Reified Temporal Logics: An Overview , 2001, Artificial Intelligence Review.

[89]  J. Cortés,et al.  Learning of equilibria and misperceptions in hypergames with perfect observations , 2011, Proceedings of the 2011 American Control Conference.

[90]  Ian M. Hodkinson,et al.  Separation - Past, Present, and Future , 2005, We Will Show Them!.

[91]  Andrew Walenstein,et al.  Malware Antimalware Games , 2010 .

[92]  B. Obama,et al.  Executive Order 13694: Blocking the Property of Certain Persons Engaging in Significant Malicious Cyber-Enabled Activities , 2015 .

[93]  D. Bernoulli.  Exposition of a New Theory on the Measurement of Risk , 1954 .

[94]  Reinhard Selten.  Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit , 2016 .

[95]  Jim Bryant,et al.  Hypermaps: a representation of perceptions in conflicts , 1983 .

[96]  Christopher Griffin,et al.  A Framework for Modeling Decision Making and Deception with Semantic Information , 2012, 2012 IEEE Symposium on Security and Privacy Workshops.

[97]  H. Simon,et al.  Models of Man. , 1957 .

[98]  Amir Pnueli,et al.  A Compositional Approach to a CSP-like Language , 1985 .

[99]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[100]  Milind Tambe,et al.  GUARDS: game theoretic security allocation on a national scale , 2011, AAMAS.

[101]  Keith W. Hipel,et al.  Solution concepts in hypergames , 1989 .

[102]  I. Gilboa.  Questions in decision theory , 2010, TARK XIII.

[103]  Rineke Verbrugge,et al.  Logic Meets Cognition: Empirical Reasoning in Games , 2010, MALLOW.

[104]  L. Shapley,et al.  Stochastic Games* , 1953, Proceedings of the National Academy of Sciences.

[105]  Takehiro Inohara,et al.  Integration of games and hypergames generated from a class of games , 1997 .

[106]  John C. Harsanyi,et al.  Games with Incomplete Information Played by "Bayesian" Players, I-III: Part I. The Basic Model& , 2004, Manag. Sci..

[107]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[108]  Daniel Grosu,et al.  A Game Theoretic Investigation of Deception in Network Security , 2009, ICCCN.

[109]  Pg Bennett,et al.  Shipping in crisis: A trial run for ‘live’ application of the hypergame approach , 1981 .

[110]  COUNTERING CYBER TERRORISM: INVESTMENT MODELS UNDER DECISION AND GAME THEORETIC FRAMEWORKS , 2008 .

[111]  R. Parikh.  The logic of games and its applications , 1985 .

[112]  E. Chamberlin.  Duopoly: Value Where Sellers Are Few , 1929 .

[113]  Leslie M. Marx,et al.  Exploring Relations between Decision Analysis and Game Theory , 2007, Decis. Anal..

[114]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[115]  Yasuo Sasaki.  Preservation of Misperceptions – Stability Analysis of Hypergames , 2008 .

[116]  Robin Hirsch,et al.  Relation Algebras of Intervals , 1996, Artif. Intell..

[117]  Microeconomics-Charles W. Upton.  Repeated games , 2020, Game Theory.

[118]  Keith W. Hipel,et al.  A Conflict Analysis of the Suez Canal Invasion of 1956 , 1980 .

[119]  Leslie Lamport,et al.  "Sometime" is sometimes "not never": on the temporal logic of programs , 1980, POPL '80.

[120]  J. Nash,et al.  NON-COOPERATIVE GAMES , 1951, Classics in Game Theory.

[121]  M. Dresher.  The Mathematics of Games of Strategy: Theory and Applications , 1981 .

[122]  Keith W. Hipel,et al.  Modeling misperceptions in games , 1988 .

[123]  康朗 佐々木.  Modeling subjectivity and interpretations in games : a hypergame theoretic approach , 2013 .

[124]  F. Wolter,et al.  Fragments of first-order temporal logics , 2000 .

[125]  Dipankar Dasgupta,et al.  Game theory for cyber security , 2010, CSIIRW '10.

[126]  Giacomo Bonanno,et al.  A simple modal logic for belief revision , 2005 .

[127]  Gérard Ligozat,et al.  Weak Representations of Interval Algebras , 1990, AAAI.

[128]  G. Lockhead.  Cognition and Thought , 1966 .

[129]  Thomas A. Henzinger,et al.  The benefits of relaxing punctuality , 1991, JACM.

[130]  Johan van Benthem,et al.  What is Spatial Logic? , 2007, Handbook of Spatial Logics.

[131]  Boris Stilman,et al.  Introduction to LG hypergames for practical wargaming , 2002, SPIE Defense + Commercial Sensing.

[132]  Kyoichi Kijima,et al.  Adaptive learning of hypergame situations using a genetic algorithm , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[133]  Milind Tambe,et al.  Deployed Security Games for Patrol Planning , 2013 .

[134]  C. E. Lemke,et al.  Equilibrium Points of Bimatrix Games , 1964 .

[135]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[136]  Kyoichi Kijima,et al.  Hypergames and bayesian games: A theoretical comparison of the models of games with incomplete information , 2012, J. Syst. Sci. Complex..

[137]  Fernando Niño,et al.  Evolving Gaming Strategies for Attacker-Defender in a Simulated Network Environment , 2010, 2010 IEEE Second International Conference on Social Computing.

[138]  B. Obama.  Executive Order 13691: Promoting Private Sector Cybersecurity Information Sharing , 2015 .

[139]  John Maynard Smith,et al.  The logic of asymmetric contests , 1976, Animal Behaviour.

[140]  Bahman Gharesifard,et al.  Stealthy strategies for deception in hypergames with asymmetric information , 2011, IEEE Conference on Decision and Control and European Control Conference.

[141]  Thomas A. Henzinger,et al.  Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..

[142]  Yoav Shoham,et al.  Multiagent Systems - Algorithmic, Game-Theoretic, and Logical Foundations , 2009 .

[143]  Hypergame Analysis in Multiagent Environments , 2001 .

[144]  Russell R. Vane.  Planning for terrorist-caused emergencies , 2005, Proceedings of the Winter Simulation Conference, 2005..

[145]  D. Peled,et al.  Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1 , 1995 .

[146]  Bruce Bueno de Mesquita,et al.  An Introduction to Game Theory , 2014 .

[147]  David P. Fidler,et al.  Was Stuxnet an Act of War? Decoding a Cyberattack , 2011, IEEE Security & Privacy.

[148]  Shamal Faily,et al.  User-Centered Information Security Policy Development in a Post-Stuxnet World , 2011, 2011 Sixth International Conference on Availability, Reliability and Security.

[149]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[150]  Kyoichi Kijima,et al.  Simulation approach to learning problem in hypergame situation by genetic algorithm , 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

[151]  Kyoichi Kijima,et al.  Simulation of adaptation process in hypergame situation by genetic algorithm , 2001 .

[152]  Roger B. Myerson,et al.  Game theory - Analysis of Conflict , 1991 .

[153]  Dov M. Gabbay,et al.  Investigations in modal and tense logics with applications to problems in philosophy and linguistics , 1976 .

[154]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[155]  H. Hamandawana,et al.  Hypergame analysis and hydroconflicts in the Okavango drainage basin , 2007 .

[156]  Maurice Pagnucco,et al.  Dynamic belief revision operators , 2003, Artif. Intell..

[157]  D. E. Matthews.  Evolution and the Theory of Games , 1977 .

[158]  Mark Mateski.  The Hypergame Perception Model: A Diagrammatic Approach to Modeling Perception, Misperception, and Deception , 2008 .

[159]  Lachlan Brumley,et al.  HYPANT : A Hypergame Analysis Tool , 2003 .

[160]  Augustin M. Cournot.  Cournot, Antoine Augustin: Recherches sur les principes mathématiques de la théorie des richesses , 2019, Die 100 wichtigsten Werke der Ökonomie.

[161]  Alfonso Gerevini.  Processing Qualitative Temporal Constraints , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

[162]  David A. Hartley,et al.  A Hypergame Approach to Crisis Decision-Making: The 1973 Middle East War , 1982 .

[163]  Dariusz Surowik.  TEMPORAL LOGIC APPROACH TO EXTENSIVE GAMES , 2008 .

[164]  R. Aumann,et al.  Game theoretic analysis of a bankruptcy problem from the Talmud , 1985 .

[165]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[166]  Bahman Gharesifard,et al.  Evolution of Players' Misperceptions in Hypergames Under Perfect Observations , 2012, IEEE Transactions on Automatic Control.

[167]  Bahman Gharesifard,et al.  Stealthy Deception in Hypergames Under Informational Asymmetry , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[168]  Yoav Shoham,et al.  A propositional modal logic of time intervals , 1991, JACM.

[169]  Furio Honsell,et al.  Conway games, algebraically and coalgebraically , 2011, Log. Methods Comput. Sci..

[170]  Boris Stilman,et al.  LG hypergames for effects-based operations , 2003, SPIE Defense + Commercial Sensing.

[171]  J. W. Herrmann,et al.  Game-Theoretic Analysis of Attack and Defense in Cyber-Physical Network Infrastructures , 2012 .

[172]  Valentin Goranko,et al.  A Road Map of Interval Temporal Logics and Duration Calculi , 2004, J. Appl. Non Class. Logics.

[173]  R. Vane.  Advances in Hypergame Theory , 2006 .

[174]  Antony Galton,et al.  An Investigation of 'Non-Intermingling' Principles in Temporal Logic , 1996, J. Log. Comput..

[175]  Zhou Chaochen,et al.  Duration Calculus: A Formal Approach to Real-Time Systems , 2004 .

[176]  Elie Bursztein.  Extending Anticipation Games with Location, Penalty and Timeline , 2008, Formal Aspects in Security and Trust.

[177]  S. Grant,et al.  Expected Utility Theory , 2007, The Handbook of Rational and Social Choice.

[178]  Keith W. Hipel,et al.  Hypergame Analysis of the Lake Biwa Conflict , 1985 .

[179]  L. Carlson,et al.  Spatial Reasoning , 2010 .

[180]  Thomas A. Henzinger,et al.  Temporal proof methodologies for real-time systems , 1991, POPL '91.

[181]  R. Selten.  The chain store paradox , 1978 .

[182]  Navin Kartik,et al.  Lecture Notes for 1st Year Ph.D. Game Theory , 2009 .

[183]  Bahman Gharesifard,et al.  Exploration of misperceptions in hypergames , 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[184]  E. Rowland.  Theory of Games and Economic Behavior , 1946, Nature.

[185]  Dov M. Gabbay,et al.  Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 , 1994 .

[186]  Yong Qu,et al.  An Outcome Preference Information Aggregation Model and Its Algorithm in Hypergame Situations , 2008, 2008 Fifth International Conference on Fuzzy Systems and Knowledge Discovery.

[187]  Maarten Marx,et al.  Undecidability of Compass Logic , 1999, J. Log. Comput..

[188]  K. Stanovich.  Rationality and the Reflective Mind , 2010 .

[189]  J. Neumann.  Zur Theorie der Gesellschaftsspiele , 1928 .

[190]  Peter B. Ladkin,et al.  The Completeness of a Natural System for Reasoning with Time Intervals , 1987, IJCAI.

[191]  Cees Witteveen,et al.  A Modal Characterization of Nash Equilibrium , 2003, Fundam. Informaticae.

[192]  Nicola Basilico,et al.  Leader-follower strategies for robotic patrolling in environments with arbitrary topologies , 2009, AAMAS.

[193]  Executive Orders.  Improving Critical Infrastructure Cybersecurity , 2018 .

[194]  Thomas A. Henzinger,et al.  A really temporal logic , 1994, JACM.

[195]  Soumya Paul,et al.  Stability under Strategy Switching , 2009, CiE.

[196]  Amir Pnueli,et al.  Explicit clock temporal logic , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[197]  M. R. Dando,et al.  Complex Strategic Analysis: A Hypergame Study of the Fall of France , 1979 .

[198]  Amir Pnueli,et al.  A really abstract concurrent model and its temporal logic , 1986, POPL '86.

[199]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[200]  Robert Mikac,et al.  Critical Infrastructure Security and Resilience of the Republic of Croatia , 2016 .

[201]  Igor Walukiewicz,et al.  Distributed Games , 2003, FSTTCS.

[202]  Amir Pnueli,et al.  Linear and Branching Structures in the Semantics and Logics of Reactive Systems , 1985, ICALP.

[203]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[204]  J. Berger.  Statistical Decision Theory and Bayesian Analysis , 1988 .

[205]  Pierpaolo Battigalli,et al.  Strategic Independence and Perfect Bayesian Equilibria , 1996 .

[206]  Thomas M. Chen,et al.  Lessons from Stuxnet , 2011, Computer.

[207]  Allen Hickling,et al.  Planning under pressure , 1987 .

[208]  E. Sober,et al.  Philosophy of Biology , 1993 .

[209]  J. Friedman.  A Non-cooperative Equilibrium for Supergames , 1971 .

[210]  Giacomo Bonanno,et al.  Branching Time, Perfect Information Games, and Backward Induction , 2001, Games Econ. Behav..

[211]  Dov M. Gabbay,et al.  Modal Varieties of Temporal Logic , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

[212]  Giacomo Bonanno,et al.  Temporal Interaction of Information and Belief , 2007, Stud Logica.

[213]  S. Hansson.  Decision Theory a Brief Introduction Contents , 1994 .

[214]  Amir Pnueli,et al.  A Choppy Logic , 1986, LICS.

[215]  A. McKinnon,et al.  Hypergame analysis of the stability of relationships between computerbased logistics systems , 1992 .

[216]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[217]  Jozef Hooman,et al.  Temporal logic for real-time systems , 1991 .

[218]  Andres Ojamaa,et al.  Graded Security Expert System , 2009, CRITIS.

[219]  Keith W. Hipel,et al.  Computer Assistance in Labor-Management Negotiations , 1981 .

[220]  Mark Reynolds.  More Past Glories , 2000, LICS 2000.

[221]  Marc Pauly,et al.  Logic for social software , 2000 .

[222]  Thomas Wilke,et al.  Nesting Until and Since in Linear Temporal Logic , 2003, Theory of Computing Systems.

[223]  J. Conway.  On Numbers and Games , 1976 .

[224]  John P. Burgess,et al.  The decision problem for linear temporal logic , 1985, Notre Dame J. Formal Log..

[225]  Zohar Manna,et al.  A Hardware Semantics Based on Temporal Intervals , 1983, ICALP.

[226]  Benjamin Charles Moszkowski.  Reasoning about Digital Circuits , 1983 .

[227]  Brahim Chaib-draa,et al.  Hypergame Analysis in E-Commerce: A Preliminary Report , 2002 .

[228]  Ralph Langner,et al.  Stuxnet: Dissecting a Cyberwarfare Weapon , 2011, IEEE Security & Privacy.

[229]  S. Haack.  Philosophy of logics , 1978 .

[230]  John C. Mitchell,et al.  Using Strategy Objectives for Network Security Analysis , 2009, Inscrypt.

[231]  Dilip Mookherjee,et al.  Learning behavior in an experimental matching pennies game , 1994 .

[232]  Peter Bennett,et al.  Uncertainty and conflict: Combining conflict analysis and strategic choice , 1990 .

[233]  Jean Goubault-Larrecq,et al.  A Logical Framework for Evaluating Network Resilience Against Faults and Attacks , 2007, ASIAN.

[234]  J. Schreiber.  Foundations Of Statistics , 2016 .

[235]  P. Bennett,et al.  Bidders and dispenser: manipulative hypergames in a multinational context , 1980 .

[236]  V. Goranko.  Coalition games and alternating temporal logics , 2001 .

[237]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[238]  Michael Wooldridge,et al.  Temporal qualitative coalitional games , 2006, AAMAS '06.

[239]  David Engel.  Foundations Of Artificial Intelligence And Expert Systems , 2016 .

[240]  Mira Scarvalone.  GAME THEORY AND THE MINIMAX THEOREM , 2008 .

[241]  D. Holdstock.  Past, present--and future? , 2005, Medicine, conflict, and survival.

[242]  T. Başar,et al.  An Intrusion Detection Game with Limited Observations , 2005 .

[243]  George Cybenko.  Cyber Adversary Dynamics , 2013 .

[244]  George Cybenko,et al.  Hypergame theory applied to cyber attack and defense , 2010, Defense + Commercial Sensing.

[245]  Paul Walker,et al.  Zermelo and the Early History of Game Theory , 2001, Games Econ. Behav..

[246]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[247]  Michael Fisher,et al.  A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution , 1997, J. Log. Comput..

[248]  Chase Qishi Wu,et al.  A Survey of Game Theory as Applied to Network Security , 2010, 2010 43rd Hawaii International Conference on System Sciences.

[249]  Willem P. de Roever,et al.  Real-time programming and asynchronous message passing , 1983, PODC '83.

[250]  Kyoichi Kijima,et al.  Symbiotic hypergame analysis of value co-creation process in service system , 2010, 2010 7th International Conference on Service Systems and Service Management.

[251]  Dimitar P. Guelev.  A Complete Proof System for First-order Interval Temporal Logic with Projection , 2004, J. Log. Comput..

[252]  Lin Chen,et al.  A Game Theoretical Framework on Intrusion Detection in Heterogeneous Networks , 2009, IEEE Transactions on Information Forensics and Security.

[253]  Willem P. de Roever,et al.  Examples of a Real-Time Temporal Logic Specification , 1983, The Analysis of Concurrent Systems.

[254]  Ellery Eells,et al.  Choices: An Introduction to Decision Theory. , 1990 .

[255]  Rattikorn Hewett,et al.  Cyber-Security Analysis in Smart Grid SCADA Systems: A Game Theoretic Approach , 2013 .

[256]  Russell R. Vane.  Hypergame Theory for DTGT Agents , 2000 .

[257]  Pierre Wolper,et al.  Reasoning About Infinite Computations , 1994, Inf. Comput..

[258]  Samuel Reid,et al.  On Generalizing a Temporal Formalism for Game Theory to the Asymptotic Combinatorics of S5 Modal Frames , 2013, ArXiv.

[259]  Soviet Strategic Doctrine and Limited Nuclear Operations , 1979 .

[260]  Antony Galton,et al.  A Critical Examination of Allen's Theory of Action and Time , 1990, Artif. Intell..

[261]  Charles S. Peirce,et al.  On the logic of drawing history from ancient documents, especially from testimonies , 1958 .

[262]  Manish Jain,et al.  Software Assistants for Randomized Patrol Planning for the LAX Airport Police and the Federal Air Marshal Service , 2010, Interfaces.

[263]  Amir Pnueli,et al.  The Glory of the Past , 1985, Logic of Programs.

[264]  J. Scott.  Rational Choice Theory , 2007 .

[265]  Boris Stilman,et al.  Extension of the LG hypergame to inner games played over the topology of competing mind nets , 2005, SPIE Defense + Commercial Sensing.

[266]  Peter Bennett,et al.  Hypergames and What They Do: A ‘Soft O.R.’ Approach , 1982 .

[267]  John P. Burgess,et al.  Axioms for tense logic. I. "Since" and "until" , 1982, Notre Dame J. Formal Log..

[268]  Tatsushi Yamasaki,et al.  Replicator dynamics of evolutionary hypergames , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).