Search Results for author:
Found 3 papers, 1 papers with code
Monitizer: Automating Design and Evaluation of Neural Network Monitors
It allows for (i) application of various types of monitors from the literature to a given input NN, (ii) optimization of the monitor's hyperparameters, and (iii) experimental evaluation and comparison to other approaches.
Learning Explainable and Better Performing Representations of POMDP Strategies
Strategies for partially observable Markov decision processes (POMDP) typically require memory.
Guessing Winning Policies in LTL Synthesis by Semantic Learning
Firstly, checking whether a guessed strategy is winning is easier than constructing one.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
