UB Paderborn / Katalog / Suche / in CDI

Computer Aided Verification. 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II, 2018, p.523-541

2018

Link zum Volltext

Verfügbarkeit prüfen

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017, p.1-10

2017

Link zum Volltext

Verfügbarkeit prüfen

Static Analysis of ReLU Neural Networks with Tropical Polyhedra

Static Analysis, 2021, Vol.12913, p.166-190

2021

Link zum Volltext

Verfügbarkeit prüfen

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems

ACM transactions on embedded computing systems, 2016-08, Vol.15 (4), p.1-20

2016

Link zum Volltext

Verfügbarkeit prüfen

A Logical Product Approach to Zonotope Intersection

Computer Aided Verification, p.212-226

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 53

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(40)
Mit Volltextzugriff
(50)

Publikationsform

Sprache

Englisch
(53)
Japanisch
(2)

Erscheinungsjahr

n.n

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities

RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

A generalization of p-boxes to affine arithmetic

Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances

A zonotopic framework for functional abstractions

On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability

Estimating the coverage measure and the area explored by a line-sweep sensor on the plane

Static analysis of finite precision computations

Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts

Discrete Choice in the Presence of Numerical Uncertainties

Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties

A topological method for finding invariant sets of continuous systems

Estimating the Coverage Measure and the Area Explored by a Side-Scan Sonar

Static Analysis of Finite Precision Computations

Static Analysis of Numerical Algorithms

Inner and outer approximate quantifier elimination for general reachability problems

Inner and outer reachability for the verification of control systems

Tractable higher-order under-approximating AE extensions for non-linear systems

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs

Inner and Outer Approximating Flowpipes for Delay Differential Equations

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

Static Analysis of ReLU Neural Networks with Tropical Polyhedra

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems

A Logical Product Approach to Zonotope Intersection

Suchergebnisse filtern