Alternation for Termination Alternation for Termination William Harris, Akash Lal, Aditya Nori Sriram Rajamani 1 1 2 2 2 2 This was joint work done with Akash Lal, Aditya…
