Reachability Analysis in BioAmbients.

Gianluigi Zavattaro

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
temporal logic
action space
knowledge base
image sequences
optimal solution
search algorithm
computational complexity
distributed systems