Under-approximation of the Greatest Fixpoints in Real-Time System Verification

Published in: CoRR (2005)

Keyphrases

real time
logic programs
error bounds
vision system
real time systems
neural network
model checking
artificial intelligence
information systems
control system
probabilistic model
formal verification
asynchronous circuits