48 citations · 172 across the 22 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017
Symmetric Synthesis
Ruediger Ehlers, Bernd Finkbeiner
We study the problem of determining whether a given temporal specification can be implemented by a symmetric system, i.e., a system composed from identical components. Symmetry is…
cs.LO2017
Safe Reinforcement Learning via Shielding
Mohammed Alshiekh, Roderick Bloem, Ruediger Ehlers +3
Reinforcement learning algorithms discover policies that maximize reward, but do not necessarily guarantee safety during learning or execution phases. We introduce a new approach t…
cs.LO2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Ruediger Ehlers
We present an approach for the verification of feed-forward neural networks in which all nodes have a piece-wise linear activation function. Such networks are often used in deep le…