CompletedNot AttendingCompleted
Affiliation
Indian statistical Institute
From
India
Priority
1 - India-based
What we talked about
Nitesh and Rishi are connected.
Preferred contact
Paper & outreach
- Paper
- Mining Statistically Likely k-Reachable States in Probabilistic Programs
- Paper ID
- #7828
- Sent
- 25 Jul 2026
- Delivery
- Delivered
- Last reply
- 26 Jul 2026
- Response
- Human
- Referrals / coauthors
- Nitesh Trivedi
Notes
Nitesh and Rishi are connected.