Showing 1 - 2 results of 2 for search 'Luca Pulina', query time: 0.02s Refine Results
  1. 1
    Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications

    Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications by Dario Guidotti, Laura Pandolfo, Luca Pulina

    Published 2023-07-01
    Get full text
    Article
  2. 2
    SMT-Based Consistency Checking of Configuration-Based Components Specifications

    SMT-Based Consistency Checking of Configuration-Based Components Specifications by Laura Pandolfo, Luca Pulina, Simone Vuotto

    Published 2021-01-01
    Get full text
    Article

Search Tools: