|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya |
Neural Networks in Imandra: Matrix Representation as a Verification Choice.  |
NSV/FoMLAS@CAV  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang 0001, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled |
Formal Specification for Learning-Enabled Autonomous Systems. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier |
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi (eds.) |
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel E. Kellison, Andrew W. Appel |
Verified Numerical Methods for Ordinary Differential Equations. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro |
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart 0001 |
Differentiable Logics for Neural Network Training and Verification. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Youcheng Sun, Muhammad Usman 0024, Divya Gopinath, Corina S. Pasareanu |
VPN: Verification of Poisoning in Neural Networks. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
Self-correcting Neural Networks for Safe Classification. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Idan Refaeli, Guy Katz |
Minimal Multi-Layer Modifications of Deep Neural Networks. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski |
Neural Network Precision Tuning Using Stochastic Arithmetic. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Mangal, Corina S. Pasareanu |
A Cascade of Checkers for Run-time Certification of Local Robustness. |
NSV/FoMLAS@CAV |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license