2016年6月15日水曜日

2016/06/15

I have received notification of FORMATS yesterday. My paper was accepted but I was suggested to use zone automata instead of region automata. I have read some part of "Timed Automata: Semantics, Algorithms and Tools". Now I am not sure if zone automata are applicable to my work. I have to survey more.

I attended to Quantitative Seminar in our laboratory. We read survey paper of Stochastic games.

I attended a class of reversible computing.

0 件のコメント:

コメントを投稿