Yuxi Fu

非決定的確率モデルを比較することとその重要性についての考察。

新しいアルゴリズムが、状態を持つベクトル加算システムの到達可能性問題を改善する。