Vaibhav Kiran Kurhe

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Temporal Planner

Interactive Dynamic Influence Diagrams

Top Venues

Publications

Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal
Automatic Generation of Debug Headers through BlackBox Equivalence Checking. CGO (2022)