Follow
Masaki Waga
Title
Cited by
Cited by
Year
Weighted automata extraction from recurrent neural networks via regression on state spaces
T Okudono, M Waga, T Sekiyama, I Hasuo
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5306-5314, 2020
492020
Efficient online timed pattern matching by automata-based skipping
M Waga, I Hasuo, K Suenaga
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
392017
Falsification of cyber-physical systems with robustness-guided black-box checking
M Waga
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
372020
Offline timed pattern matching under uncertainty
É André, I Hasuo, M Waga
2018 23rd International Conference on Engineering of Complex Computer …, 2018
302018
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ...
ARCH@ ADHS, 133-152, 2021
292021
A Boyer-Moore type algorithm for timed pattern matching
M Waga, T Akazaki, I Hasuo
Formal Modeling and Analysis of Timed Systems: 14th International Conference …, 2016
272016
Model-bounded monitoring of hybrid systems
M Waga, É André, I Hasuo
ACM Transactions on Cyber-Physical Systems 6 (4), 1-26, 2022
182022
Symbolic monitoring against specifications parametric in time and data
M Waga, É André, I Hasuo
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
162019
Online parametric timed pattern matching with automata-based skipping
M Waga, É André
NASA Formal Methods Symposium, 371-389, 2019
152019
Arch-comp 2022 category report: Falsification with ubounded resources
G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ...
Proceedings of 9th International Workshop on Applied Verification of …, 2022
142022
MONAA: A tool for timed pattern matching with automata-based acceleration
M Waga, I Hasuo, K Suenaga
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
112018
Online quantitative timed pattern matching with semiring-valued weighted automata
M Waga
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
102019
ARCH-COMP 2023 Category Report: Falsification
C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ...
Proceedings of 10th International Workshop on Applied 96, 151-169, 2023
62023
Efficient black-box checking via model checking with strengthened specifications
J Shijubo, M Waga, K Suenaga
International Conference on Runtime Verification, 100-120, 2021
62021
Moore-machine filtering for timed and untimed pattern matching
M Waga, I Hasuo
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
62019
Parametric timed pattern matching
M Waga, É André, I Hasuo
ACM Transactions on Software Engineering and Methodology 32 (1), 1-35, 2023
52023
Dynamic shielding for reinforcement learning in black-box environments
M Waga, E Castellano, S Pruekprasert, S Klikovits, T Takisaka, I Hasuo
International Symposium on Automated Technology for Verification and …, 2022
52022
Learning nonlinear hybrid automata from input–output time-series data
A Gurung, M Waga, K Suenaga
International Symposium on Automated Technology for Verification and …, 2023
42023
Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
M Waga
International Conference on Computer Aided Verification, 3-26, 2023
42023
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis
S Sato, M Waga, I Hasuo
arXiv preprint arXiv:2012.00319, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20