Antichains algorithms for the inclusion problem between \(\omega\)-VPL

DOI10.1007/978-3-031-30823-9_15zbMATH Open1543.68168MaRDI QIDQ6535360

Unnamed Author, Pierre Ganty, Luka Hadži-Đokić

Publication date: 13 December 2023

Mathematics Subject Classification ID

Combinatorics on words (68R15) Formal languages and automata (68Q45) Combinatorics of partially ordered sets (06A07) Algorithms on strings (68W32)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Well quasi-orders and regular languages
• Operator precedence and the visibly pushdown property
• Additive number theory via automata theory
• Advanced Ramsey-Based Büchi Automata Inclusion Testing
• Antichain Algorithms for Finite Automata
• Efficient Büchi Universality Checking
• Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
• Visibly Pushdown Automata: Universality and Inclusion via Antichains
• Complete Abstractions for Checking Language Inclusion
• Nested interpolants
• Ramsey-Based Inclusion Checking for Visibly Pushdown Automata
• Ramsey Goes Visibly Pushdown
• Syntactic Analysis and Operator Precedence
• Antichains: A New Algorithm for Checking Universality of Finite Automata
• FORQ-Based Language Inclusion Formal Testing

This page was built for publication: Antichains algorithms for the inclusion problem between \(\omega\)-VPL