|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa |
Rigorous Continuous Evolution of Uncertain Systems. |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruining (Ray) Wu, Ian M. Mitchell |
Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadra Sadraddini, Shen Shen, Osbert Bastani |
Polytopic Trees for Verification of Learning-Based Controllers. |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Somenzi, Ashutosh Trivedi 0001 |
Reinforcement Learning and Formal Requirements. |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Calvin Huang, Soonho Kong, Sicun Gao, Damien Zufferey |
Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Majid Zamani, Damien Zufferey (eds.) |
Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaobo He, Marek S. Baranowski, Zvonimir Rakamaric |
Stochastic Local Search for Solving Floating-Point Constraints. |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha |
Trust, Resilience and Interpretability of AI Models. |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. |
NSV@CAV |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.) |
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Blot, Jean-Michel Muller, Laurent Théry |
Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers. |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Aviral Kumar |
Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees. |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening |
Sound Numerical Computations in Abstract Acceleration. |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | François Févotte, Bruno Lathuilière |
Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster. |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Sylvie Boldo (eds.) |
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017] |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Chou, Xin Chen 0002, Sriram Sankaranarayanan 0001 |
A Study of Model-Order Reduction Techniques for Verification. |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Revol |
Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Berz, Kyoko Makino |
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models. |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyoko Makino, Martin Berz |
Verified Computations Using Taylor Models and Their Applications. |
NSV@CAV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Assalé Adjé |
Proving Properties on PWA Systems Using Copositive and Semidefinite Programming. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Chen Qiu, Alexander Sanchez-Stern, Zachary Tatlock |
Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate |
Verification of Networks of Smart Energy Systems over the Cloud. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Boldo |
Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Chapoutot, Julien Alexandre Dit Sandretto |
Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yassamine Seladji |
Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar |
Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Behzad Samadi |
Model Based Automatic Code Generation for Nonlinear Model Predictive Control. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Heinz 0001 |
Falsification of Dynamical Systems - An Industrial Perspective. |
NSV@CAV |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license