Masaki Waga

Available identifiers

zbMath Open waga.masakiMaRDI QIDQ1683451

List of research outcomes

Publication	Date of Publication	Type
Symbolic monitoring against specifications parametric in time and data	2024-02-16	Paper
Active learning of deterministic timed automata with Myhill-Nerode style characterization	2024-02-01	Paper
Dynamic shielding for reinforcement learning in black-box environments	2023-06-02	Paper
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption	2022-12-07	Paper
Falsification of cyber-physical systems with robustness-guided black-box checking	2021-01-25	Paper
Online quantitative timed pattern matching with semiring-valued weighted automata	2020-05-05	Paper
Moore-machine filtering for timed and untimed pattern matching	2019-10-22	Paper
A Boyer-Moore Type Algorithm for Timed Pattern Matching	2018-02-16	Paper
Efficient online timed pattern matching by automata-based skipping	2017-12-01	Paper

Research outcomes over time

This page was built for person: Masaki Waga