A Verified Enclosure for the Lorenz Attractor (Rough Diamond).

Published in: ITP (2015)

Keyphrases

cellular automata
rough sets
fixed point
dynamical systems
chaotic systems
set theory
phase space
real time
databases
learning algorithm
knowledge base
image processing
image sequences
reinforcement learning