Paper Info
Title
Controller Synthesis for MDPs and Frequency LTL\GU.
Year
Venue
DocType
2015
LPAR
Conference
Citations 
PageRank 
References 
0
0.34
17
Authors
3
Name
Order
Citations
PageRank
Vojtech Forejt130214.69
Jan Krcál200.34
Jan Kretínský315916.02