PPaperPicks

Daniel Kroening

5 papers at tracked venues · 4 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2NeurIPS ×2ECAI ×1

Frequent coauthors

Mirco Giacobbe
DBLP profile ↗ORCID search ↗
×2
Hosein Hasanbeig
DBLP profile ↗ORCID search ↗
×1
Hana Chockler
DBLP profile ↗ORCID search ↗
×1
Rohan Mitta
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint)
    AAAI 2026 ·
    Hosein Hasanbeig
    DBLP profile ↗ORCID search ↗
  2. Let a Neural Network be Your Invariant
    NeurIPS 2025 ·
    Mirco Giacobbe
    DBLP profile ↗ORCID search ↗
  3. Multiple Different Black Box Explanations for Image Classifiers
    ECAI 2025 ·
    Hana Chockler
    DBLP profile ↗ORCID search ↗
  4. Neural Model Checking
    NeurIPS 2024 ·
    Mirco Giacobbe
    DBLP profile ↗ORCID search ↗
  5. Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
    AAAI 2024 ·
    Rohan Mitta
    DBLP profile ↗ORCID search ↗