LICS 2005 - PDF Preprint Papers

LICS 2005 Symposium on Logic in Computer Science

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LICS-2005 Paper

click to vote

LICS
2005
IEEE

170views Automated Reasoning» more LICS 2005»

Mean-Payoff Parity Games

14 years 5 months ago

Download mtc.epfl.ch

Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...

Krishnendu Chatterjee, Thomas A. Henzinger, Marcin...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	170	Mean-Payoff Parity Games	claim
2	153	Semantics of Separation-Logic Typing and Higher-Order Frame Rules	claim
3	148	Proof Theory for Kleene Algebra	claim
4	143	Certifying Compilation for a Language with Stack Allocation	claim
5	139	A Functional Quantum Programming Language	claim
6	133	Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics	claim
7	128	Uniform Distributed Synthesis	claim
8	127	Modal Characterisation Theorems over Special Classes of Frames	claim
9	124	Ludics Nets, a game Model of Concurrent Interaction	claim
10	124	Model-Checking Hierarchical Structures	claim
11	121	Temporal Logics over Unranked Trees	claim
12	118	Looping Caterpillars	claim
13	117	Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic	claim
14	115	The Geometry of Linear Higher-Order Recursion	claim
15	106	Process Algebras for Quantitative Analysis	claim
16	106	Front Cover	claim
17	106	Generalizing Parametricity Using Information-flow	claim
18	104	On the Decidability of Metric Temporal Logic	claim
19	104	Name Generation and Linearity	claim
20	103	Eager Normal Form Bisimulation	claim
21	100	Operational Domain Theory and Topology of a Sequential Programming Language	claim
22	97	Recursive Polymorphic Types and Parametricity in an Operational Framework	claim
23	97	Relations in Concurrency	claim
24	96	Reactive Systems over Cospans	claim
25	94	Proof-Theoretic Approach to Description-Logic	claim
26	92	Relational Parametricity and Control	claim
27	88	A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams	claim
28	84	Constructing Free Boolean Categories	claim
29	82	Inverse and Implicit Functions in Domain Theory	claim
30	76	Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers