RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems (Q6487328): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / cites work
 
Property / cites work: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability analysis for neural feedback systems using regressive polynomial rule inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inner and outer reachability for the verification of control systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inner and outer approximating flowpipes for delay differential equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3224554 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verisig / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verisig 2.0: verification of neural network controllers using Taylor model preconditioning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stabilizing low complexity feedback control of constrained piecewise affine systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: FILIB++, a fast interval library supporting containment computations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Comparing Forward and Backward Reachability as Tools for Safety Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adaptive reachability algorithms for nonlinear systems using abstraction error analysis / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 11:47, 3 December 2024

scientific article; zbMATH DE number 7628132
Language Label Description Also known as
English
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
scientific article; zbMATH DE number 7628132

    Statements

    Identifiers