Natsuki Urabe

According to our database, Natsuki Urabe authored at least 20 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

CoRR, 2022

Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.

Étienne André, Masaki Waga, Natsuki Urabe, Ichiro Hasuo

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

The Lattice-Theoretic Essence of Property Directed Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Ranking and Repulsing Supermartingales for Reachability in Randomized Programs.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

ACM Trans. Program. Lang. Syst., 2021

Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems.

Natsuki Urabe, Rupak Majumdar

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).

Koko Muroya, Takahiro Sanada, Natsuki Urabe

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2019

Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments.

Satoshi Kura, Natsuki Urabe, Ichiro Hasuo

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Coalgebraic Infinite Traces and Kleisli Simulations.

Natsuki Urabe, Ichiro Hasuo

Log. Methods Comput. Sci., 2018

Quantitative Matrix Simulation.

Natsuki Urabe, Ichiro Hasuo

CoRR, 2018

Ranking and Repulsing Supermartingales for Approximating Reachability.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

CoRR, 2018

Categorical Buechi and Parity Conditions via Alternating Fixed Points of Functors.

Natsuki Urabe, Ichiro Hasuo

CoRR, 2018

Categorical Büchi and Parity Conditions via Alternating Fixed Points of Functors.

Natsuki Urabe, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2018

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs.

Toru Takisaka, Yuichiro Oyabu, Natsuki Urabe, Ichiro Hasuo

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.

Natsuki Urabe, Ichiro Hasuo

Log. Methods Comput. Sci., 2017

Quantitative simulations by matrices.

Natsuki Urabe, Ichiro Hasuo

Inf. Comput., 2017

Categorical liveness checking by corecursive algebras.

Natsuki Urabe, Masaki Hara, Ichiro Hasuo

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective.

Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo

CoRR, 2016

Coalgebraic Trace Semantics for Buechi and Parity Automata.

Natsuki Urabe, Shunsuke Shimizu, Ichiro Hasuo

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2014

Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices.

Natsuki Urabe, Ichiro Hasuo

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014