Login / Signup
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems.
Radu Calinescu
Shinji Kikuchi
Kenneth Johnson
Published in:
Monterey Workshop (2012)
Keyphrases
</>
complex systems
real world
high level
learning systems
building blocks
computer systems
higher level
intelligent systems
larger scale
desirable properties
information theoretic
database
management system
bayesian networks
artificial intelligence
genetic algorithm
real time