Picture for Stavros Tripakis

Stavros Tripakis

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems

Add code
Dec 17, 2023
Viaarxiv icon

On Neural Network Equivalence Checking using SMT Solvers

Add code
Mar 22, 2022
Figure 1 for On Neural Network Equivalence Checking using SMT Solvers
Figure 2 for On Neural Network Equivalence Checking using SMT Solvers
Figure 3 for On Neural Network Equivalence Checking using SMT Solvers
Figure 4 for On Neural Network Equivalence Checking using SMT Solvers
Viaarxiv icon

Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems

Add code
Oct 05, 2021
Figure 1 for Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Figure 2 for Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Figure 3 for Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Figure 4 for Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems
Viaarxiv icon

Metrics and methods for robustness evaluation of neural networks with generative models

Add code
Mar 15, 2020
Figure 1 for Metrics and methods for robustness evaluation of neural networks with generative models
Figure 2 for Metrics and methods for robustness evaluation of neural networks with generative models
Figure 3 for Metrics and methods for robustness evaluation of neural networks with generative models
Figure 4 for Metrics and methods for robustness evaluation of neural networks with generative models
Viaarxiv icon

Learning Moore Machines from Input-Output Traces

Add code
Sep 02, 2016
Figure 1 for Learning Moore Machines from Input-Output Traces
Figure 2 for Learning Moore Machines from Input-Output Traces
Figure 3 for Learning Moore Machines from Input-Output Traces
Figure 4 for Learning Moore Machines from Input-Output Traces
Viaarxiv icon