1 citations · 1 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021★ 1 cited
Direct Construction of Program Alignment Automata for Equivalence Checking
Manish Goyal, Muqsit Azeem, Kumar Madhukar +1
The problem of checking whether two programs are semantically equivalent or not has a diverse range of applications, and is consequently of substantial importance. There are severa…
cs.RO2021
Safety and progress proofs for a reactive planner and controller for autonomous driving
Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
In this paper, we perform safety and performance analysis of an autonomous vehicle that implements reactive planner and controller for navigating a race lap. Unlike traditional pla…