Canonical Automata via Distributive Law Homomorphisms. Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva. EPTCS 351, 2021, 296-313. 2021 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Omega-Regular Reward Machines. Omega-Regular Reward Machines. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. Omega-Regular Decision Processes. Omega-Regular Decision Processes. Mining minimal separating DFAs from labelled samples. Mining minimal separating DFAs from labelled samples.
by