Waga, Masaki
- Efficient Black-Box Checking via Model Checking with Strengthened Specifications
2021/09/10 by Junya Shijubo, Shijubo, Junya, Masaki Waga +3 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Software Testing and Debugging Techniques
- Dynamic Shielding for Reinforcement Learning in Black-Box Environments
2022/07/27 by Masaki Waga, Waga, Masaki, Ezequiel Castellano +9 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Reinforcement Learning in Robotics #Software Reliability and Analysis Research
- Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization
2023/05/28 by Masaki Waga, Waga, Masaki · 3 citations
Computer Science · #Algorithms and Data Compression #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning and Algorithms #semigroups and automata theory
- Probabilistic Black-Box Checking via Active MDP Learning
2023/07/15 by Junya Shijubo, Shijubo, Junya, Masaki Waga +3 · 3 citations
Computer Science · #Machine Learning and Algorithms #Software Reliability and Analysis Research #Formal Methods in Verification
- Weighted Automata Extraction from Recurrent Neural Networks via\n Regression on State Spaces
2019/04/05 by Takamasa Okudono, Okudono, Takamasa, Masaki Waga +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Natural Language Processing Techniques #semigroups and automata theory
- SoftMatcha: A Soft and Fast Pattern Matcher for Billion-Scale Corpus Searches
2025/03/05 by Hiroyuki Deguchi, Deguchi, Hiroyuki, Go Kamoda +11 · 1 voice · 2 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #cs.CL