A Aralex Aachen research explorer

August 06, 2021 book-chapter Aachen paper

Automata on infinite trees

EMS Press eBooks, pp. 265–302

DOI: 10.4171/automata-1/8 OpenAlex

Authors 1

Christof Löding corresponding Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen, Germany

Cited by 7 stored of 7

Formal verification and synthesis of mechanisms for social choice
2024 Artificial Intelligence article Decision Sciences Auction Theory and Applications Open access

0

citations
A Navigation Logic for Recursive Programs with Dynamic Thread Creation
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

1

citations
The Power-Set Construction for Tree Algebras
2023 Logical Methods in Computer Science article Computer Science Advanced Algebra and Logic Open access

0

citations
The Power-Set Construction for Tree Algebras
2022 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

0

citations
A Game-Theoretic Approach for the Synthesis of Complex Systems
2022 Lecture notes in computer science conference-paper Computer Science Computability, Logic, AI Algorithms

1

citations
Synthesis in presence of dynamic links
2021 Information and Computation article Computer Science Distributed systems and fault tolerance Open access

1

citations
Synthesizing Best-effort Strategies under Multiple Environment Specifications
2021 conference-paper Computer Science Formal Methods in Verification Open access

12

citations

7 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0