Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction.

Inseok Hwang Hamsa Balakrishnan Ronojoy Ghosh Claire J. Tomlin

Published in: HiPC (2002)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
high level
state space
first order logic
decision making
computational complexity
receptive fields
lateral inhibition