PPaperPicks

Nicholas Gisolfi

2 papers at tracked venues · 1 at CORE A* · active 2024–2024

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ECML-PKDD ×1

Frequent coauthors

Ignacy Stepka
DBLP profile ↗ORCID search ↗
×1
Angela Chen
DBLP profile ↗ORCID search ↗
×1

Papers

  1. A SAT-Based Approach to Rigorous Verification of Bayesian Networks
    ECML-PKDD 2024 ·
    Ignacy Stepka
    DBLP profile ↗ORCID search ↗
  2. Data-Driven Discovery of Design Specifications (Student Abstract)
    AAAI 2024 ·
    Angela Chen
    DBLP profile ↗ORCID search ↗