Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. - Natsuki Urabe; Ichiro Hasuo (CONCUR, 2014)

Coalgebraic Trace Semantics for Buechi and Parity Automata. - Natsuki Urabe; Shunsuke Shimizu; Ichiro Hasuo (CONCUR, 2016)

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. - Natsuki Urabe; Shunsuke Shimizu; Ichiro Hasuo (CoRR, 2016)

Categorical liveness checking by corecursive algebras. - Natsuki Urabe; Masaki Hara; Ichiro Hasuo (LICS, 2017)

Quantitative simulations by matrices. - Natsuki Urabe; Ichiro Hasuo (Inf. Comput., 2017)

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. - Natsuki Urabe; Ichiro Hasuo (Log. Methods Comput. Sci., 2017)

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (ATVA, 2018)

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. - Natsuki Urabe; Ichiro Hasuo (CMCS, 2018)

Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. - Natsuki Urabe; Ichiro Hasuo (CoRR, 2018)

Ranking and Repulsing Supermartingales for Approximating Reachability. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (CoRR, 2018)

Quantitative Matrix Simulation. - Natsuki Urabe; Ichiro Hasuo (CoRR, 2018)

Coalgebraic Infinite Traces and Kleisli Simulations. - Natsuki Urabe; Ichiro Hasuo (Log. Methods Comput. Sci., 2018)

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. - Satoshi Kura 001; Natsuki Urabe; Ichiro Hasuo (TACAS (2), 2019)

Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). - Koko Muroya; Takahiro Sanada; Natsuki Urabe (CALCO, 2021)

Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. - Natsuki Urabe; Rupak Majumdar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. - Toru Takisaka; Yuichiro Oyabu; Natsuki Urabe; Ichiro Hasuo (ACM Trans. Program. Lang. Syst., 2021)

The Lattice-Theoretic Essence of Property Directed Reachability Analysis. - Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo (CAV (1), 2022)

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (NFM, 2022)

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. - Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo (CoRR, 2022)

Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$ mathcal {F}$] Specifications. - Ami Sakakibara; Natsuki Urabe; Toshimitsu Ushio (IEEE Trans. Autom. Control., 2022)

Data for "Exemplifying parametric timed specifications over signals with bounded behavior". - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (Zenodo, 2022)

Data for "Exemplifying parametric timed specifications over signals with bounded behavior". - Étienne André; Masaki Waga; Natsuki Urabe; Ichiro Hasuo (Zenodo, 2022)

Preorder-Constrained Simulations for Program Refinement with Effects. - Koko Muroya; Takahiro Sanada; Natsuki Urabe (CMCS, 2024)