FoMLAS 2022 (Englisch)
- Neue Suche nach: International Workshop on Formal Methods for ML-Enabled Autonomous Systems
- Weitere Informationen zu International Workshop on Formal Methods for ML-Enabled Autonomous Systems:
- http://d-nb.info/gnd/1279975121
- Neue Suche nach: International Workshop on Formal Methods for ML-Enabled Autonomous Systems
- Weitere Informationen zu International Workshop on Formal Methods for ML-Enabled Autonomous Systems:
- http://d-nb.info/gnd/1279975121
In:
Software verification and formal methods for ML-enabled autonomous systems
; 4-143
;
2022
-
ISBN:
- Aufsatz/Kapitel (Buch) / Print
-
Titel:FoMLAS 2022
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2022
-
Anmerkungen:Diagramme
Literaturangaben -
ISBN:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.52
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 005.14
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
VPN: Verification of Poisoning in Neural NetworksSun, Youcheng / Usman, Muhammad / Gopinath, Divya / Păsăreanu, Corina S. et al. | 2022
- 4
-
FoMLAS 2022International Workshop on Formal Methods for ML-Enabled Autonomous Systems et al. | 2022
- 15
-
A Cascade of Checkers for Run-time Certification of Local RobustnessMangal, Ravi / Păsăreanu, Corina et al. | 2022
- 29
-
CEG4N: Counter-Example Guided Neural Network Quantization RefinementMatos, João Batista P. / Bessa, Iury / Manino, Edoardo / Song, Xidan / Cordeiro, Lucas C. et al. | 2022
- 46
-
Minimal Multi-Layer Modifications of Deep Neural NetworksRefaeli, Idan / Katz, Guy et al. | 2022
- 67
-
Differentiable Logics for Neural Network Training and VerificationŚlusarz, Natalia / Komendantskaya, Ekaterina / Daggitt, Matthew L. / Stewart, Robert et al. | 2022
- 78
-
Neural Networks in Imandra: Matrix Representation as a Verification ChoiceDesmartin, Remi / Passmore, Grant / Kommendentskaya, Ekaterina et al. | 2022
- 96
-
Self-correcting Neural Networks for Safe ClassificationLeino, Klas / Fromherz, Aymeric / Mangal, Ravi / Fredrikson, Matt / Parno, Bryan / Păsăreanu, Corina et al. | 2022
- 131
-
Formal Specification for Learning-Enabled Autonomous SystemsBensalem, Saddek / Cheng, Chih-Hong / Huang, Xiaowei / Katsaros, Panagiotis / Molin, Adam / Nickovic, Dejan / Peled, Doron et al. | 2022
- 147
-
Verified Numerical Methods for Ordinary Differential EquationsKellison, Ariel E. / Appel, Andrew W. et al. | 2022
- 148
-
NSV 2022International Workshop on Numerical Software Verification et al. | 2022
- 164
-
Neural Network Precision Tuning Using Stochastic ArithmeticFerro, Quentin / Graillat, Stef / Hilaire, Thibault / Jézéquel, Fabienne / Lewandowski, Basile et al. | 2022
- 187
-
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different TypesHariharan, Gokul / Kempa, Brian / Wongpiromsarn, Tichakorn / Jones, Phillip H. / Rozier, Kristin Y. et al. | 2022