音が流れない場合、再生を一時停止してもう一度再生してみて下さい。
ツール
21回再生
FM'21 | Session 5 : Efficient Algorithms for ω-Regular Energy Games
Chair: Paula Herber
Presenter: Gal Amram
Title: Efficient Algorithms for ω-Regular Energy Games
Paper: doi.org/10.1007/978-3-030-90870-6_9 by
Gal Amram, Shahar Maoz, Or Pistiner and Jan Oliver Ringert.
コメント