Search Results for author:
Found 4 papers, 1 papers with code
Learning Explainable and Better Performing Representations of POMDP Strategies
Strategies for partially observable Markov decision processes (POMDP) typically require memory.
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks
In this work, we provide a more flexible framework where a neuron can be replaced with a linear combination of other neurons, improving the reduction.
Assessment of Neural Networks for Stream-Water-Temperature Prediction
In this work, we present a selection of state-of-the-art Neural Networks (NN) for the prediction of water temperatures in six streams in Germany.
DeepAbstract: Neural Network Abstraction for Accelerating Verification
While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks.
