Titlebook: Numerical Software Verification; 12th International W Majid Zamani,Damien Zufferey Conference proceedings 2019 Springer Nature Switzerland

commune

ALIAS

PUT

An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Lawslo Tree Search property falsification algorithm, applied to select properties of a longitudinal hybrid flight control law: a threshold overshoot property, two frequential properties, and a discrete event-based property.

resilience

0302-9743 7 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability..978-3-030-28422-0978-3-030-28423-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

顛簸地移動

0302-9743 y, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019...The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions...The NSV 201

撫育

tolerance

Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms degraded accuracy. We test the idea on . implementations of some basic numerical algorithms, and find that most mutants are worse while the few which are better show a distinctive pattern of mutation.

Ventilator

Conference proceedings 2019, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019...The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions...The NSV 2017 workshop

自然環(huán)境

insipid

Trust, Resilience and Interpretability of AI Modelstomated reasoning with connectionist learning methods that use deep neural networks. The increasing adoption of artificial intelligence and machine learning in systems, including safety-critical systems, has created a pressing need for developing scalable techniques that can be used to establish tru