| emsoft | participants

Masaki Waga

EMSOFT 2024: 24th International Conference on Embedded Software

Hyper parametric timed CTL

Masaki Waga and Étienne André

    EMSOFT 2023: 23rd International Conference on Embedded Software

    Probabilistic Black-Box Checking via Active MDP Learning

    Junya Shijubo, Masaki Waga, and Kohei Suenaga

    EMSOFT 2018: 18th International Conference on Embedded Software

    Moore-Machine Filtering for Timed and Untimed Pattern Matching

    Masaki Waga and Ichiro Hasuo