Search Results for author:
Found 2 papers, 0 papers with code
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
A promising approach for providing strong guarantees on an agent's behavior is to use Neural Lyapunov Barrier (NLB) certificates, which are learned functions over the system whose properties indirectly imply that an agent behaves as desired.
Local Area Routes for Vehicle Routing Problems
Ng-routes are routes which are permitted to have non-localized cycles in space; this means that at least one intermediate customer (called a breaker) in the cycle must consider the starting customer in the cycle to be spatially far away.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
