15 citations · 34 across the 10 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 2 cited
Coalgebraic Trace Semantics for Buechi and Parity Automata
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
Despite its success in producing numerous general results on state-based dynamics, the theory of coalgebra has struggled to accommodate the Buechi acceptance condition---a basic no…
cs.LO2016
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Natsuki Urabe, Ichiro Hasuo
Notions of simulation, among other uses, provide a computationally tractable and sound (but not necessarily complete) proof method for language inclusion. They have been comprehens…