2016年7月5日火曜日

2016/07/05

I have read the preliminary part of Efficient Emptiness Check for Timed Büchi Automata to learn more about Zone Automata. It says the property in the region automata in [Alur Dill '94] have pre-stability and the zone automata have post-stability. This difference does not matter when checking emptiness but I am not sure if it is critical when applying to my work.

0 件のコメント:

コメントを投稿