Picture for Lina Marsso

Lina Marsso

Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance

Add code
Feb 29, 2024
Viaarxiv icon

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

Add code
Mar 18, 2022
Figure 1 for Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Figure 2 for Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Figure 3 for Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Figure 4 for Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
Viaarxiv icon

If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components

Add code
Feb 08, 2022
Figure 1 for If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Figure 2 for If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Figure 3 for If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Figure 4 for If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components
Viaarxiv icon