Title
Hintikka Games for PCTL on Labeled Markov Chains
Abstract
The origins of QEST in these diverse communities are reflected in the wide range of topics in the call and the great variety of the submitted and accepted papers. This, of course, makes the selection process challenging but also stimulating. The reviewing ...
Year
DOI
Venue
2008
10.1109/QEST.2008.10
QEST
Keywords
Field
DocType
selection process,diverse community,accepted paper,hintikka games,great variety,labeled markov chains,wide range,temporal logic,finite element methods,markov chain,computational modeling,markov processes,game theory,games,normal form,stochastic processes,probabilistic logic,denotational semantics
Principle of compositionality,Discrete mathematics,Combinatorics,Countable set,Denotational semantics,Markov chain,Counterexample,Temporal logic,Probabilistic logic,Lemma (mathematics),Mathematics
Conference
Citations 
PageRank 
References 
8
0.51
20
Authors
4
Name
Order
Citations
PageRank
H. Fecher127619.30
Michael Huth280.51
Nir Piterman3115470.02
Daniel Wagner415611.44