Topological Complexity of omega-Powers : Extended Abstract
Olivier Finkel (LIP), Dominique Lecomte (UMR 7586)
TL;DR
This paper presents new findings on the topological complexity of omega-powers, discussing their descriptive complexities and open questions from a recent seminar on infinite computations.
Contribution
It introduces novel results on the topological complexity of omega-powers and connects them with existing descriptive complexity frameworks.
Findings
New results on the topological complexity of omega-powers
Discussion of open questions in the field
Reflection on seminar discussions and future directions
Abstract
This is an extended abstract presenting new results on the topological complexity of omega-powers (which are included in a paper "Classical and effective descriptive complexities of omega-powers" available from arXiv:0708.4176) and reflecting also some open questions which were discussed during the Dagstuhl seminar on "Topological and Game-Theoretic Aspects of Infinite Computations" 29.06.08 - 04.07.08.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.