Quantitative Simulation Games

Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view partitions the world into "correct" and "incorrect" systems, offering few nuances. In reality, of several systems that satisfy a property in the boolean sense, often some are more desirable than others, and of the many systems that violate a property, usually some are less objectionable than others. For instance, among the systems that satisfy the response property that every request be granted, we may prefer systems that grant requests quickly (the quicker, the better), or we may prefer systems that issue few unnecessary grants (the fewer, the better); and among the systems that violate the response property, we may prefer systems that serve many initial requests (the more, the better), or we may prefer systems that serve many requests in the long run (the greater the fraction of served to un...

• Type: Journal
• Year: 2010
• Where: BIRTHDAY
• Authors: Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
• Keywords: Applied Computing, BIRTHDAY 2010, Quantitative Simulation Game, Simulation Game, Systems