Sign in
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems.
Calin Belta
Peter Finin
Luc C. G. J. M. Habets
Ádám M. Halász
Marcin Imielinski
Vijay Kumar
Harvey Rubin
Published in:
HSCC (2004)
Keyphrases
</>
hybrid systems
reachability analysis
intelligent systems
markov decision processes
soft computing
black box
computational intelligence
model checking
meta learning
neural network
discrete event
timed automata
artificial intelligence