2 citations · 2 across the 1 of their papers we have counts for
4 papers · 1 filter
Quantitative Simulations by Matrices
Natsuki Urabe, Ichiro Hasuo
We introduce notions of simulation between semiring-weighted automata as models of quantitative systems. Our simulations are instances of the categorical/coalgebraic notions previo…
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
Programs with randomization constructs is an active research topic, especially after the recent introduction of martingale-based analysis methods for their termination and runtimes…
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors
Natsuki Urabe, Ichiro Hasuo
Categorical studies of recursive data structures and their associated reasoning principles have mostly focused on two extremes: initial algebras and induction, and final coalgebras…
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…