Andrea gets the NSFC project approved

The project of Andrea Turrini for the Research Fund for International Young Scientists on LP-based reduction techniques for analyzing cost probabilistic automata has been approved by the National Natural Science Foundation of China (NSFC).