no code implementations • 15 Jul 2023 • Junya Shijubo, Masaki Waga, Kohei Suenaga
Our method, ProbBBC, refines the conventional BBC approach by (1) employing an active Markov Decision Process (MDP) learning method during the learning phase, (2) incorporating probabilistic model checking in the synthesis phase, and (3) applying statistical hypothesis testing in the validation phase.
no code implementations • 31 Oct 2022 • Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
We propose a new black-box method BOREx (Bayesian Optimization for Refinement of visual model Explanation) to refine a heat map produced by any method.
no code implementations • 27 Jul 2022 • Masaki Waga, Ezequiel Castellano, Sasinee Pruekprasert, Stefan Klikovits, Toru Takisaka, Ichiro Hasuo
The dynamic shielding technique constructs an approximate system model in parallel with RL using a variant of the RPNI algorithm and suppresses undesired explorations due to the shield constructed from the learned model.
no code implementations • 15 Feb 2021 • Masaki Waga, Étienne André, Ichiro Hasuo
Monitoring of hybrid systems attracts both scientific and practical attention.
1 code implementation • 11 Apr 2020 • Elena Gutiérrez, Takamasa Okudono, Masaki Waga, Ichiro Hasuo
In this work, we propose, implement and evaluate a metaheuristic based on genetic algorithms to approximate solutions to the WMP.
1 code implementation • 28 Jun 2019 • Masaki Waga
This is the first quantitative and online timed pattern matching algorithm to the best of our knowledge.
Formal Languages and Automata Theory
1 code implementation • 11 May 2019 • Masaki Waga, Étienne André, Ichiro Hasuo
Monitoring consists in deciding whether a log meets a given specification.
Formal Languages and Automata Theory Systems and Control
no code implementations • 5 Apr 2019 • Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo
We present a method to extract a weighted finite automaton (WFA) from a recurrent neural network (RNN).
1 code implementation • 18 Mar 2019 • Masaki Waga, Étienne André
Timed pattern matching has strong connections with monitoring real-time systems.
Formal Languages and Automata Theory
1 code implementation • 21 Dec 2018 • Étienne André, Ichiro Hasuo, Masaki Waga
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log.
Systems and Control Logic in Computer Science F.4