Three Variables are Enough for Real-Time Specification.

Timos Antonopoulos Paul Hunter Shahab Raza James Worrell

Published in: CoRR (2014)

Keyphrases

real time
high level
low cost
vision system
databases
variable selection
genetic algorithm
data structure
relevant variables
neural network
real world
knowledge base
multi agent systems
high speed
formal verification