Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
28
views
9
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
778
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Reachability Problems
Mean-Payoff Games with Partial-Observation
other
Author(s):
Paul Hunter
,
Guillermo A. Pérez
,
Jean-François Raskin
Publication date
(Print):
2014
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Italian Studies
Most cited references
9
Record
: found
Abstract
: not found
Article
: not found
Positional strategies for mean payoff games
A Ehrenfeucht
,
J. Mycielski
(1979)
0
comments
Cited
78
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Deciding the winner in parity games is in UP ∩ co-UP
Marcin Jurdzinski
(1998)
0
comments
Cited
68
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Quantitative Languages
Krishnendu Chatterjee
,
Laurent Doyen
,
Thomas Henzinger
(2008)
0
comments
Cited
18
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2014
Pages
: 163-175
DOI:
10.1007/978-3-319-11439-2_13
SO-VID:
35d80765-53f3-4fa4-953a-efcbce4410cc
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Complexity Bounds for Ordinal-Based Termination
pp. 20
On The Complexity of Bounded Time Reachability for Piecewise Affine Systems
pp. 32
Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives
pp. 45
Parameterized Verification of Communicating Automata under Context Bounds
pp. 58
Regular Strategies in Pushdown Reachability Games
pp. 72
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
pp. 85
Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic
pp. 98
Synthesising Succinct Strategies in Safety and Reachability Games
pp. 112
Integer Vector Addition Systems with States
pp. 138
On the Expressiveness of Metric Temporal Logic over Bounded Timed Words
pp. 163
Mean-Payoff Games with Partial-Observation
pp. 176
Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
pp. 190
On Functions Weakly Computable by Petri Nets and Vector Addition Systems
pp. 203
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
pp. 216
Transformations for Compositional Verification of Assumption-Commitment Properties
pp. 230
Compositional Reachability in Petri Nets
Similar content
778
Optimizing Research Payoff
Authors:
Jeff Miller
,
Rolf Ulrich
Correction of anemia--payoffs and problems.
Authors:
Julie Ingelfinger
,
Giuseppe Remuzzi
The Payoff to Skill in the Third Industrial Revolution
Authors:
Yujia Liu
,
David Grusky
See all similar
Cited by
3
Mean-Payoff Games with Partial-Observation
Authors:
Paul Hunter
,
Guillermo Pérez
,
Jean-François Raskin
Minimizing Regret in Discounted-Sum Games
Authors:
,
,
Mean-payoff Games with Partial-Observation
Authors:
,
,
See all cited by