Playing with Repetitions in Data Words Using Energy Games

Diego Figueira, Anirban Majumdar, M. Praveen. Playing with Repetitions in Data Words Using Energy Games. Logical Methods in Computer Science, 16(3), 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.