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

Artur Dubrawski
×2
Ignacy Stepka
×1
Angela Chen
×1

Papers

  1. A SAT-Based Approach to Rigorous Verification of Bayesian Networks
    ECML-PKDD 2024 ·
    Ignacy Stepka
    , Nicholas Gisolfi,
    Artur Dubrawski
  2. Data-Driven Discovery of Design Specifications (Student Abstract)
    AAAI 2024 ·
    Angela Chen
    , Nicholas Gisolfi,
    Artur Dubrawski