Ongoing Work on Automated Verification of Noisy Nonlinear Systems With Ariadne

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-67549-7_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Automated Reverse Engineering of Nonlinear Dynamical Systems

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
2007English

Coherence Resonance at Noisy Precursors of Bifurcations in Nonlinear Dynamical Systems

Physical Review E
1997English

Existence Verification for Singular Zeros of Complex Nonlinear Systems

SIAM Journal on Numerical Analysis
Computational MathematicsApplied MathematicsNumerical Analysis
2000English

Convex Programs for Temporal Verification of Nonlinear Dynamical Systems

SIAM Journal on Control and Optimization
ControlApplied MathematicsOptimization
2007English

The Challenges of Verification and Validation of Automated Planning Systems (Keynote)

2013English

Automated Invariant Generation for the Verification of Real-Time Systems

English

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Optimum, Nonlinear Processing of Noisy Images

Journal of the Optical Society of America
Engineering
1968English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy