BRAIN : Backward Reachability Analysis with Integers.

Tatiana Rybina Andrei Voronkov

Published in: AMAST (2002)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
human brain
state space
floating point
forward and backward
brain images
cortical surface
forward backward
electrical activity
np complete
information processing