PPaperPicks

S. Akshay

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

DBLP profile ↗ORCID search ↗

Venues

IJCAI ×2KR ×2AAAI ×1ICLR ×1

Frequent coauthors

Arhaan Ahmad
DBLP profile ↗ORCID search ↗
×1
Kuldeep S. Meel
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Knowledge Compilation for Quantification in Alternating Automata
    KR 2026 · S. Akshay
  2. LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
    IJCAI 2025 · S. Akshay
  3. Presburger Functional Synthesis: Complexity and Tractable Normal Forms
    KR 2025 · S. Akshay
  4. Sensitivity Verification for Additive Decision Tree Ensembles
    ICLR 2025 ·
    Arhaan Ahmad
    DBLP profile ↗ORCID search ↗
  5. Auditable Algorithms for Approximate Model Counting
    AAAI 2024 ·
    Kuldeep S. Meel
    DBLP profile ↗ORCID search ↗
  6. Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties
    IJCAI 2024 · S. Akshay