Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sudeep Kanav
conf.researchr.org general profile
ICSE 2023 profile
POPL 2025 profile
Not registered as user
Name:
Sudeep Kanav
Affiliation:
LMU Munich
Contributions
2025
VMCAI
Author of 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization within the VMCAI 2025-track
2023
ICSE
Author of CoVeriTeam Service: Verification as a Service within the DEMO - Demonstrations-track
Share
x
Wed 21 May 10:54
