Alert button
Picture for Alessio Lomuscio

Alessio Lomuscio

Alert button

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks

Add code
Bookmark button
Alert button
Jan 21, 2024
Ben Batten, Mehran Hosseini, Alessio Lomuscio

Viaarxiv icon

Expressive Losses for Verified Robustness via Convex Combinations

Add code
Bookmark button
Alert button
May 23, 2023
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio

Figure 1 for Expressive Losses for Verified Robustness via Convex Combinations
Figure 2 for Expressive Losses for Verified Robustness via Convex Combinations
Figure 3 for Expressive Losses for Verified Robustness via Convex Combinations
Figure 4 for Expressive Losses for Verified Robustness via Convex Combinations
Viaarxiv icon

Formal Verification of CNN-based Perception Systems

Add code
Bookmark button
Alert button
Nov 28, 2018
Panagiotis Kouvaros, Alessio Lomuscio

Figure 1 for Formal Verification of CNN-based Perception Systems
Figure 2 for Formal Verification of CNN-based Perception Systems
Viaarxiv icon

An approach to reachability analysis for feed-forward ReLU neural networks

Add code
Bookmark button
Alert button
Jun 22, 2017
Alessio Lomuscio, Lalit Maganti

Figure 1 for An approach to reachability analysis for feed-forward ReLU neural networks
Viaarxiv icon

Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

Add code
Bookmark button
Alert button
Jan 23, 2014
Francesco Belardinelli, Alessio Lomuscio

Figure 1 for Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Figure 2 for Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Figure 3 for Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Figure 4 for Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Viaarxiv icon

Verification of Agent-Based Artifact Systems

Add code
Bookmark button
Alert button
Jan 22, 2013
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

Figure 1 for Verification of Agent-Based Artifact Systems
Figure 2 for Verification of Agent-Based Artifact Systems
Figure 3 for Verification of Agent-Based Artifact Systems
Figure 4 for Verification of Agent-Based Artifact Systems
Viaarxiv icon