Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Emptiness check is very important in model checking to LTL.   first present a new emptiness checking algorithm, which is based on Couvreur's algorithm, to make it be compatible with bitstate-hashing completely. And then  show the correctness of the improved algorithm by analyzing it and Couvreur's algorithm. At last,  make the experiment to compare the improved algorithm to several known algorithms, which will show its interaction with bitstate-hashing completely while keeping the performance on the whole. This expands the usefulness of Couvreur's algorithm largely
['Yige Li', 'Kanglin Xie', 'Tao Hao']
I am writing a research paper on a idea Combining Couvreur's Algorithm with Bitstate-Hashing for Emptiness Check
[{"from": "human", "value": "I am writing a research paper on a idea Combining Couvreur's Algorithm with Bitstate-Hashing for Emptiness Check"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Emptiness check is very important in model checking to LTL.   first present a new emptiness checking algorithm, which is based on Couvreur's algorithm, to make it be compatible with bitstate-hashing completely. And then  show the correctness of the improved algorithm by analyzing it and Couvreur's algorithm. At last,  make the experiment to compare the improved algorithm to several known algorithms, which will show its interaction with bitstate-hashing completely while keeping the performance on the whole. This expands the usefulness of Couvreur's algorithm largely"}]