Baidu
map

Coinductive Algorithms for Buchi Automata

Kuperberg, D; Pinault, L; Pous, D

Kuperberg, D (corresponding author), UCB Lyon 1, LIP, ENS Lyon, CNRS, Lyon, France.

FUNDAMENTA INFORMATICAE, 2021; 180 (4): 351

Abstract

We propose a new algorithm for checking language equivalence of non-deterministic Buchi automata. We start from a construction proposed by Calbrix, Ni......

Full Text Link


Baidu
map
Baidu
map
Baidu
map