Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sanja Zivanovic Gonzalez
Ongoing Work on Automated Verification of Noisy Nonlinear Systems With Ariadne
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Reverse Engineering of Nonlinear Dynamical Systems
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Coherence Resonance at Noisy Precursors of Bifurcations in Nonlinear Dynamical Systems
Physical Review E
Existence Verification for Singular Zeros of Complex Nonlinear Systems
SIAM Journal on Numerical Analysis
Computational Mathematics
Applied Mathematics
Numerical Analysis
Convex Programs for Temporal Verification of Nonlinear Dynamical Systems
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
The Challenges of Verification and Validation of Automated Planning Systems (Keynote)
Automated Invariant Generation for the Verification of Real-Time Systems
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimum, Nonlinear Processing of Noisy Images
Journal of the Optical Society of America
Engineering