FoMLAS2023: Author Index

AuthorPapers
A
Aluf-Medina, MichellePrediction and Control of Stochastic Agents Using Formal Methods
Arnaboldi, LucaThe Vehicle Tutorial: Neural Network Verification with Vehicle
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Atkey, RobertThe Vehicle Tutorial: Neural Network Verification with Vehicle
B
Benzinou, LiriPrediction and Control of Stochastic Agents Using Formal Methods
Boetius, DavidVerifying Global Neural Network Specifications using Hyperproperties
C
Casadio, MarcoThe Vehicle Tutorial: Neural Network Verification with Vehicle
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Coke, BenThe Vehicle Tutorial: Neural Network Verification with Vehicle
Cordeiro, LucasCertified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement
D
Daggitt, MatthewANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Daggitt, Matthew L.The Vehicle Tutorial: Neural Network Verification with Vehicle
Demarchi, StefanoSupporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
Dinkar, TanviANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
G
Gerber, YuvalPrediction and Control of Stochastic Agents Using Formal Methods
Guidotti, DarioSupporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
H
Hasan, OsmanScaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation
I
Isac, OmriANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
K
Kienitz, DanielANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Kokke, WenThe Vehicle Tutorial: Neural Network Verification with Vehicle
Komendantskaya, EkaterinaThe Vehicle Tutorial: Neural Network Verification with Vehicle
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
Kugler, HillelPrediction and Control of Stochastic Agents Using Formal Methods
L
Lee, JeonghyeonThe Vehicle Tutorial: Neural Network Verification with Vehicle
Leue, StefanVerifying Global Neural Network Specifications using Hyperproperties
M
Magri, BernardoCertified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement
Manino, EdoardoCertified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement
Mustafa, MustafaCertified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement
N
Naseer, MahumScaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation
P
Pulina, LucaSupporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
R
Raviv, AvrahamPrediction and Control of Stochastic Agents Using Formal Methods
Rieser, VerenaANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
S
Shafique, MuhammadScaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation
T
Tacchella, ArmandoSupporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet
Ś
Ślusarz, NataliaThe Vehicle Tutorial: Neural Network Verification with Vehicle