vix.ing · top · new · best · stats · spec

Vivek Nigam

  1. Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
    2023/04/23 by Vivek Nigam, Nigam, Vivek, Carolyn Talcott +1 · 1 citation
    Computer Science · Engineering · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE)