Thomas A. Henzinger EPFL, Switzerland, and University of California,...  Home/Search
Context
Related
| tark.org/proceedings...p1henzinger.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tark.org/proceeding...proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: rministic games can model nondeterministic choice through a choice of available moves; stochastic games model both nondeterministic and probabilistic choice. The objectives of the players in a graph game can be qualitative or quantitative. A qualitative objective is a set of winning plays. For modeling reactive systems, the interesting class of qualitative objectives are the #-regular sets, which can express common safety and liveness properties [15]. A quantitative objective requires a... (Update)
Active bibliography (related documents): More All
0.5: The Complexity of Quantitative Concurrent Parity Games - Chatterjee, Henzinger (2004) (Correct)
0.3: An Interface Formalism for Web Services - Beyer, Chakrabarti, Henzinger (2005) (Correct)
0.3: Interfaces: A Game-Theoretic Framework for Reasoning about . . . - de Alfaro, al. (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ epfl-games,
author = "Thomas Henzinger Epfl",
title = "Games in System Design and Verification",
url = "citeseer.ist.psu.edu/762512.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
234 Supervisory control of a class of discrete-event processes (context) - Ramadge, Wonham - 1987
198 Trace Theory for the Automatic Hierarchical Verification of .. (context) - Dill - 1989
119 Alternating-time temporal logic - Alur, Henzinger et al. - 2002 ACM DBLP
110 the synthesis of a reactive module (context) - Pnueli, Rosner - 1989
106 An algebraic definition of simulation between programs (context) - Milner - 1971 ACM DBLP
69 Competitive Markov Decision Processes (context) - Filar, Vrieze - 1997 ACM
49 Solving sequential conditions by finite-state strategies (context) - Buchi, Landweber - 1969
46 Infinite games played on finite graphs (context) - McNaughton - 1993 DBLP
42 Automata on Infinite Objects and Church's Problem (context) - Rabin - 1972 ACM
42 and games (context) - Gurevich, Harrington et al. - 1982
38 Interface automata - de Alfaro, Henzinger - 2001
34 Borel determinacy (context) - Martin - 1975
34 Regular expressions for infinite trees and a standard form o.. (context) - Mostowski - 1984
26 Realizable and unrealizable concurrent program specification.. (context) - Abadi, Lamport et al. - 1989
15 The determinacy of Blackwell games (context) - Martin - 1998 DBLP
15 on and C. Jutla. Tree automata, -calculus, and determinacy (context) - Emers - 1991
9 Detecting errors before reaching them - de Alfaro, Henzinger et al. - 2000
8 regular games (context) - de Alfaro, Henzinger - 2000
4 Information and Computation (context) - Henzinger, Kupferman et al. - 2002 DBLP
4 On Nash equilibria in stochastic games - Chatterjee, Jurdzinski et al. - 2004
3 Resource interfaces - Chakrabarti, de Alfaro et al. - 2003 DBLP
1 Games with secure equilibria (context) - Chatterjee, Henzinger et al. - 2004 ACM
Documents on the same site (http://www.tark.org/proceedings/tark_jul10_05/proceedings.html): More
Complexity Results for Logics of Local Reasoning and.. - Martin Allen Computer (Correct)
Understanding Human Strategies for Change: An Empirical Study - Alankar Karol Mary-Anne (Correct)
Decisions under Subjective Information - Stecher (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC