2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.FL2020★ 2 cited
Revisiting Underapproximate Reachability for Multipushdown Systems
S. Akshay, Paul Gastin, S Krishna +1
Boolean programs with multiple recursive threads can be captured as pushdown automata with multiple stacks. This model is Turing complete, and hence, one is often interested in ana…
quant-ph2015★ 1 cited
Diagnosis of single faults in quantum circuits
Debajyoti Bera, Subhamoy Maitra, Sparsa Roychowdhury +1
Detecting and isolating faults is crucial for synthesis of quantum circuits. Under the single fault assumption that is now routinely accepted in circuit fault analysis, we show tha…