Stop the war!
Остановите войну!
for scientists:
default search action
NSV@CAV 2019: New York City, NY, USA
- Majid Zamani, Damien Zufferey:
Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings. Lecture Notes in Computer Science 11652, Springer 2019, ISBN 978-3-030-28422-0
Tutorials
- Susmit Jha:
Trust, Resilience and Interpretability of AI Models. 3-25 - Fabio Somenzi, Ashutosh Trivedi:
Reinforcement Learning and Formal Requirements. 26-41
Contributed Papers
- 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. 45-59 - Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa:
Rigorous Continuous Evolution of Uncertain Systems. 60-75 - Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric:
Stochastic Local Search for Solving Floating-Point Constraints. 76-84 - Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey:
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. 85-100 - Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. 101-109 - Sadra Sadraddini, Shen Shen, Osbert Bastani:
Polytopic Trees for Verification of Learning-Based Controllers. 110-127 - Ruining (Ray) Wu, Ian M. Mitchell:
Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. 128-144
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.