Model checking 7 model checking 4 Models checking 2 PRISM 2 Probabilistic model checking 2 Probabilistic model-checking 2 autonomic clouds 2 multiple quality objectives 2 stochastic games model checking 2 strategy synthesis 2 Abstraction methods 1 Abundance analysis 1 Accident prevention 1 Adaptation decisions 1 Adaptation models 1 Adverse effect 1 Animals 1 Automation 1 Autonomic clouds 1 Behavioral research 1 Biological oscillators 1 Biological process 1 Block-chain 1 Boolean modelling 1 Boolean network 1 Cell Cycle 1 Cell Division 1 Cell Proliferation 1 Cell cycle checkpoints 1 Cell proliferation 1