Verifying Tolerant Systems Using Polynomial Approximations.

Pavithra Prabhakar Vladimeros Vladimerou Mahesh Viswanathan Geir E. Dullerud

Published in: RTSS (2009)

Keyphrases

distributed systems
intelligent systems
artificial intelligence
complex systems
systems require
real time
database systems
face recognition
multiscale
evolutionary algorithm
higher order
computer systems