Articles with public access mandates - Nir Piterman - German Research FoundationLearn more
NoteFor this mandate, articles should be available from specific locations.
Not available based on mandate: 2
Hintikka games for PCTL on labeled Markov chains
H Fecher, M Huth, N Piterman, D Wagner
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
H Fecher, M Huth, N Piterman, D Wagner
Performance Evaluation 67 (9), 858-872, 2010
Publication and funding information is determined automatically by a computer program