NSV@CAV

Keyphrases

Publications

2019

Rémi Delmas, Thomas Loquen, Josep Boada-Bauxell, Mathieu Carton
An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws. NSV@CAV (2019)
Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa
Rigorous Continuous Evolution of Uncertain Systems. NSV@CAV (2019)
Ruining (Ray) Wu, Ian M. Mitchell
Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. NSV@CAV (2019)
Sadra Sadraddini, Shen Shen, Osbert Bastani
Polytopic Trees for Verification of Learning-Based Controllers. NSV@CAV (2019)
Fabio Somenzi, Ashutosh Trivedi
Reinforcement Learning and Formal Requirements. NSV@CAV (2019)
Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. NSV@CAV (2019)
Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric
Stochastic Local Search for Solving Floating-Point Constraints. NSV@CAV (2019)
Susmit Jha
Trust, Resilience and Interpretability of AI Models. NSV@CAV (2019)
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. NSV@CAV (2019)

volume 11652, 2019

Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings NSV@CAV 11652 (2019)

2017

volume 10381, 2017

Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017] NSV@CAV 10381 (2017)

volume 10152, 2017

Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers NSV@CAV 10152 (2017)

2016