Picture for Alberto Griggio

Alberto Griggio

Fondazione Bruno Kessler

Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems

Add code
Nov 16, 2023
Viaarxiv icon

Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories

Add code
Jan 16, 2014
Figure 1 for Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Figure 2 for Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Figure 3 for Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Figure 4 for Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Viaarxiv icon