Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Table 1: Dataset Comparison #4

Open
ZimaBlue307 opened this issue May 13, 2024 · 0 comments
Open

Table 1: Dataset Comparison #4

ZimaBlue307 opened this issue May 13, 2024 · 0 comments

Comments

@ZimaBlue307
Copy link

ZimaBlue307 commented May 13, 2024 •
edited
Loading

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!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ZimaBlue307