PPaperPicks

Harshit J. Motwani

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1IJCAI ×1POPL ×1

Frequent coauthors

S. Akshay
×2
Supratik Chakraborty
×2
Amir Kafshdar Goharshady
×2
Dorde Zikelic
×2
Constantin Enea
×1
Rupak Majumdar
×1
V. R. Sathiyanarayana
×1
Soroush Farokhnia
×1
Krishnendu Chatterjee
×1
Ehsan Kafshdar Goharshady
×1
Mehrdad Karrabi
×1
Maximilian Seeliger
×1

Papers

  1. Verifying Almost-Sure Termination for Randomized Distributed Algorithms
    POPL 2026 ·
    Constantin Enea
    ,
    Rupak Majumdar
    , Harshit Jitendra Motwani,
    V. R. Sathiyanarayana
  2. LP-Based Weighted Model Integration over Non-Linear Real Arithmetic
    IJCAI 2025 ·
    S. Akshay
    ,
    Supratik Chakraborty
    ,
    Soroush Farokhnia
    ,
    Amir Kafshdar Goharshady
    , Harshit Jitendra Motwani,
    Dorde Zikelic
  3. Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
    AAAI 2025 ·
    Krishnendu Chatterjee
    ,
    Ehsan Kafshdar Goharshady
    ,
    Mehrdad Karrabi
    , Harshit J. Motwani,
    Maximilian Seeliger
    ,
    Dorde Zikelic
  4. Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
    FM 2024 ·
    S. Akshay
    ,
    Supratik Chakraborty
    ,
    Amir Kafshdar Goharshady
    ,
    R. Govind
    , Harshit J. Motwani,
    Sai Teja Varanasi