Masaki Waga

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Active learning of symbolic Mealy automata	2026-03-20	Paper
Symbolic monitoring against specifications parametric in time and data Computer Aided Verification	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 Automated Technology for Verification and Analysis	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 Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Online quantitative timed pattern matching with semiring-valued weighted automata (available as arXiv preprint)	2020-05-05	Paper
Moore-machine filtering for timed and untimed pattern matching Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
A Boyer-Moore type algorithm for timed pattern matching Lecture Notes in Computer Science	2018-02-16	Paper
Efficient online timed pattern matching by automata-based skipping (available as arXiv preprint)	2017-12-01	Paper

Research outcomes over time

This page was built for person: Masaki Waga