音が流れない場合、再生を一時停止してもう一度再生してみて下さい。
ツール 
画像
Formal Methods Europe
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.

コメント