نتائج البحث

A Direct Translation from LTL with Past to Deterministic Rabin Automata

• Authors : Azzopardi, Shaun; Lidell, David; Piterman, Nir

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Logic in Computer Science

تفاصيل العنوان

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism

• Authors : Casares, Antonio; Colcombet, Thomas; Fijalkow, Nathanaël

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Logic in Computer Science; 68Q45

• Source: TheoretiCS, Volume 3 (April 24, 2024) theoretics:11336

تفاصيل العنوان

On the size of good-for-games Rabin automata and its link with the memory in Muller games

• Authors : Casares, Antonio; Colcombet, Thomas; Lehtinen, Karoliina

Subjects: Computer Science - Formal Languages and Automata Theory; 68Q45; F.4.3

تفاصيل العنوان

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

• Authors : Casares, Antonio

Subjects: Computer Science - Formal Languages and Automata Theory; 68Q45; F.4.3

تفاصيل العنوان

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

• Authors : Casares, Antonio

Subjects: Automata on Infinite Words, Games on Graphs, Arena-Independent Memory, Complexity; Data processing Computer science; InProceedings

تفاصيل العنوان

On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

• Authors : Antonio Casares; Casares, Antonio

Subjects: Automata on Infinite Words; Games on Graphs; Arena-Independent Memory

تفاصيل العنوان

Index appearance record for transforming Rabin automata into parity automata

• Authors : Křetínský, Jan; Meggendorfer, Tobias; Waldmann, Clara

Subjects: Computer Science - Logic in Computer Science; Computer Science - Formal Languages and Automata Theory

تفاصيل العنوان

On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games

• Authors : Antonio Casares and Thomas Colcombet and Karoliina Lehtinen; Casares, Antonio; Colcombet, Thomas

Subjects: Infinite duration games; Muller games; Rabin conditions

تفاصيل العنوان

Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment

• Authors : Babiak, Tomáš; Blahoudek, František; Křetínský, Mojmír

Subjects: Computer Science - Formal Languages and Automata Theory; Computer Science - Logic in Computer Science

تفاصيل العنوان

From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism

• Authors : Casares, Antonio; Colcombet, Thomas; Fijalkow, Nathanaël ...

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

• Source: EISSN: 2751-4838 ; TheoretiCS ; https://hal.science/hal-04728461 ; TheoretiCS, 2024, Volume 3 (3), pp.127-178. ⟨10.46298/theoretics.24.12⟩

تفاصيل العنوان