Minimisation and Language Inclusion for Separating B\"uchi and Parity Automata

SSRN Electronic Journal 2026 Preprint Open access

Read full text
Authors: YONG LI, Sven Schewe, Qiyi Tang
DOI: 10.2139/ssrn.6220159
Cited by: 0
References: 6

Fields of Study & Subjects

semigroups and automata theory Formal Methods in Verification Petri Nets in System Modeling

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Language
EN
Document type
Preprint