HIGHLIGHTS
- who: Daniele Dell`Erba and Sven Schewe from the University of Sheffield, United Kingdom have published the research: Smaller progress measures and separating automata for parity games, in the Journal: (JOURNAL)
- what: In the following, the authors provide a high-level idea of Frontiers in Computer Science frontiersin.org 10.3389/fcomp.2022.936903 reductions from the statespace of the witnesses used, leading to more concise witnesses. As before, the authors focus in the description on forward witnesses, with backward witnesses being defined accordingly. The authors compare the size of the statespace with both the . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.