Hierarchy-type Problems for Automata on Infinite Words and Trees
2012/05/N/ST6/03254
Keywords
Descriptors
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_1: Logika i podstawy matematyki
Panel
ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Voivodeship: mazowieckie
Principal investigator (from the host institution)
Number of co-investigators in the project: 2
Call
PRELUDIUM 3 – announced on 2012-03-15
- Amount awarded
- 58 600 PLN
- Project start date
- 2013-03-26
- Project end date
- 2015-09-25
- Project duration
- 30 months (the same as in the proposal)
- Project status
- Project settled
Equipment purchased [PL]
- Komputer stacjonarny. Cost: 4 000 PLN
Information in the final report
Publication in academic press/journals (3)
-
On the Topological Complexity of w-Languages of Non-Deterministic Petri Nets
- Authors:
- Olivier Finkel, Michał Skrzypczak
- Academic press:
- Information Processing Letters (year: 2014, volume: 114/5, pages: 229-233), Publisher: Elsevier
- Status:
- Published
- DOI:
- 10.1016/j.ipl.2013.12.007 – link to the publication
-
Index problems for game automata
- Authors:
- Alessandro Facchini, Filip Murlak, Michał Skrzypczak
- Academic press:
- Transactions on Computational Logic (year: 2016, volume: 17(4), pages: 24:1-24:38), Publisher: Association for Computing Machinery
- Status:
- Published
- DOI:
- 10.1145/2946800 – link to the publication
-
Topological extension of parity automata
- Authors:
- Michał Skrzypczak
- Academic press:
- Information and Computation (year: 2013, volume: 228, pages: 16-27), Publisher: Elsevier
- Status:
- Published
- DOI:
- 10.1016/j.ic.2013.06.004 – link to the publication
Articles in post-conference publications (1)
-
Rabin-Mostowski index problem: a step beyond deterministic automata
- Authors:
- Alessandro Facchini, Filip Murlak, Michał Skrzypczak
- Conference:
- Logic In Computer Science (year: 2013, pages: 499-508), Publisher: IEEE Computer Society
- Date:
- conference 25-28 czerwca
- Status:
- Published