Picture for Masaki Waga

Masaki Waga

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination

Add code
Jul 13, 2024
Viaarxiv icon

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

Add code
Mar 27, 2024
Viaarxiv icon

BOREx: Bayesian-Optimization--Based Refinement of Saliency Map for Image- and Video-Classification Models

Add code
Oct 31, 2022
Viaarxiv icon

Dynamic Shielding for Reinforcement Learning in Black-Box Environments

Add code
Jul 27, 2022
Figure 1 for Dynamic Shielding for Reinforcement Learning in Black-Box Environments
Figure 2 for Dynamic Shielding for Reinforcement Learning in Black-Box Environments
Figure 3 for Dynamic Shielding for Reinforcement Learning in Black-Box Environments
Figure 4 for Dynamic Shielding for Reinforcement Learning in Black-Box Environments
Viaarxiv icon

Genetic Algorithm for the Weight Maximization Problem on Weighted Automata

Add code
Apr 11, 2020
Figure 1 for Genetic Algorithm for the Weight Maximization Problem on Weighted Automata
Figure 2 for Genetic Algorithm for the Weight Maximization Problem on Weighted Automata
Figure 3 for Genetic Algorithm for the Weight Maximization Problem on Weighted Automata
Figure 4 for Genetic Algorithm for the Weight Maximization Problem on Weighted Automata
Viaarxiv icon

Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces

Add code
Apr 08, 2019
Figure 1 for Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
Figure 2 for Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
Figure 3 for Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
Figure 4 for Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
Viaarxiv icon