Anton Chernev

dblp:383/6691 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2025
0009-0002-6232-5604ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2025 Thin Coalgebraic Behaviours Are Inductive
abstract
Coalgebras for analytic functors uniformly model graph-like systems where the successors of a state may admit certain symmetries. Examples of successor structure include ordered tuples, cyclic lists and multisets. Motivated by goals in automata-based verification and results on thin trees, we introduce thin coalgebras as those coalgebras with only countably many infinite paths from each state. Our main result is an inductive characterisation of thinness via an initial algebra. To this end, we develop a syntax for thin behaviours and capture with a single equation when two terms represent the same thin behaviour. Finally, for the special case of polynomial functors, we retrieve from our syntax the notion of Cantor-Bendixson rank of a thin tree.
Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke
LICS1
2024 Dual Adjunction Between $\varOmega $-Automata and Wilke Algebra Quotients
Anton Chernev, Helle Hvid Hansen, Clemens Kupke
ICTAC1