Andrea’s project 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).