Natsuki Urabe

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 24

Top Topics

Deterministic Automata

Extreme Value Theory

Reachability Analysis

Top Venues

Publications

Koko Muroya, Takahiro Sanada, Natsuki Urabe
Preorder-Constrained Simulations for Program Refinement with Effects. CMCS (2024)
Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications. IEEE Trans. Autom. Control. 67 (12) (2022)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1) (2022)
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
Exemplifying parametric timed specifications over signals with bounded behavior. CoRR (2022)
Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo
Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior. NFM (2022)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. CoRR (2022)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Natsuki Urabe, Rupak Majumdar
Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (9) (2021)
Koko Muroya, Takahiro Sanada, Natsuki Urabe
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). CALCO (2021)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. TACAS (2) (2019)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs. ATVA (2018)
Natsuki Urabe, Ichiro Hasuo
Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors. CMCS (2018)
Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. CoRR (2018)
Natsuki Urabe, Ichiro Hasuo
Quantitative Matrix Simulation. CoRR (2018)
Natsuki Urabe, Ichiro Hasuo
Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors. CoRR (2018)
Natsuki Urabe, Ichiro Hasuo
Coalgebraic Infinite Traces and Kleisli Simulations. Log. Methods Comput. Sci. 14 (3) (2018)
Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo
Ranking and Repulsing Supermartingales for Approximating Reachability. CoRR (2018)
Natsuki Urabe, Masaki Hara, Ichiro Hasuo
Categorical Liveness Checking by Corecursive Algebras. CoRR (2017)
Natsuki Urabe, Ichiro Hasuo
Quantitative simulations by matrices. Inf. Comput. 252 (2017)
Natsuki Urabe, Masaki Hara, Ichiro Hasuo
Categorical liveness checking by corecursive algebras. LICS (2017)
Natsuki Urabe, Ichiro Hasuo
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. Log. Methods Comput. Sci. 13 (3) (2017)
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective. CoRR (2016)
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
Coalgebraic Trace Semantics for Buechi and Parity Automata. CoRR (2016)
Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo
Coalgebraic Trace Semantics for Buechi and Parity Automata. CONCUR (2016)
Natsuki Urabe, Ichiro Hasuo
Coalgebraic Infinite Traces and Kleisli Simulations. CoRR (2015)
Natsuki Urabe, Ichiro Hasuo
Coalgebraic Infinite Traces and Kleisli Simulations. CALCO (2015)
Natsuki Urabe, Ichiro Hasuo
Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices. CONCUR (2014)