Search Results for author:
Found 3 papers, 2 papers with code
Safe Reinforcement Learning via Shielding
In the first one, the shield acts each time the learning agent is about to make a decision and provides a list of safe actions.
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
We present a specialized verification algorithm that employs this approximation in a search process in which it infers additional node phases for the non-linear nodes in the network from partial node phase assignments, similar to unit propagation in classical SAT solving.
Correct-by-synthesis reinforcement learning with temporal logic constraints
We establish both correctness (with respect to the temporal logic specifications) and optimality (with respect to the a priori unknown performance criterion) of this two-step technique for a fragment of temporal logic specifications.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
