Search Results for author:
Found 2 papers, 1 papers with code
Probabilistic relations for modelling epistemic and aleatoric uncertainty: its semantics and automated reasoning with theorem proving
Our work in essence is based on Hehner's predicative probabilistic programming, but there are several obstacles to the wider adoption of his work.
Learning Safe Neural Network Controllers with Barrier Certificates
We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
