Verifying Tolerant Systems Using Polynomial Approximations.

Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud

Browse the full RTSS paper archive.