E-Book, Englisch, 145 Seiten, eBook
Zamani / Zufferey Numerical Software Verification
Erscheinungsjahr 2019
ISBN: 978-3-030-28423-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
E-Book, Englisch, 145 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-030-28423-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Tutorials.- Correctness and Optimality for Control Systems.- Modeling, Control, and Verification of an Automated Transport System.- Formal Methods for Highly Automated Driving Applications.- Trust, Resilience and Interpretability of AI Models.- Reinforcement Learning and Formal Requirements.- Contributed Papers.- An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws.- Rigorous Continuous Evolution of Uncertain Systems.- Stochastic Local Search for Solving Floating-Point Constraints.- Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability.- Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.- Polytopic Trees for Verification of Learning-Based Controllers.- Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms.