Dear Authors, Table 1: Dataset Comparison mentioned in the paper showed different dimensions of each datasets, which is very helpful to get insights about differences between datasets. It would be very helpful if you could give me a hint What does "Formula Length" mean in the table. Does that mean the string length of the LTL formula while counting the length of every proposition in the formula as 1?
Thanks again for your time and efforts!
Dear Authors, Table 1: Dataset Comparison mentioned in the paper showed different dimensions of each datasets, which is very helpful to get insights about differences between datasets. It would be very helpful if you could give me a hint What does "Formula Length" mean in the table. Does that mean the string length of the LTL formula while counting the length of every proposition in the formula as 1? Thanks again for your time and efforts!