Learning safe neural network controllers with barrier certificates (Q5918375): Difference between revisions

@@ Property / cites work @@
+Reachability analysis for neural feedback systems using regressive polynomial rule inference
+Normal rank
@@ Property / cites work @@
+Barrier certificates revisited
@@ Property / cites work: Barrier certificates revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5270493
@@ Property / cites work: Q5270493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4604032
@@ Property / cites work: Q4604032 / rank @@
+Normal rank
@@ Property / cites work @@
+Case study
@@ Property / cites work: Case study / rank @@
+Normal rank
@@ Property / cites work @@
+Verisig
@@ Property / cites work: Verisig / rank @@
+Normal rank
@@ Property / cites work @@
+Reluplex: an efficient SMT solver for verifying deep neural networks
+Normal rank
@@ Property / cites work @@
+Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Automated and formal synthesis of neural barrier certificates for dynamical models
+Normal rank
@@ Property / cites work @@
+Q4653997
@@ Property / cites work: Q4653997 / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Converse Theorems for Safety and Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
+Normal rank
@@ Property / cites work @@
+Vector barrier certificates and comparison systems
+Normal rank
@@ Property / cites work @@
+Formal verification of neural network controlled autonomous systems
+Normal rank
@@ Property / cites work @@
+Over- and Under-Approximations of Reachable Sets With Series Representations of Evolution Functions
+Normal rank
@@ Property / cites work @@
+Compositional safety analysis using barrier certificates
+Normal rank
@@ Property / cites work @@
+Converse Barrier Certificate Theorems
@@ Property / cites work: Converse Barrier Certificate Theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Learning safe neural network controllers with barrier certificates
+Normal rank
@@ Property / cites work @@
+Synthesizing barrier certificates using neural networks
+Normal rank