### Table 2. Size of state space.

2002

"... In PAGE 8: ... Analysis Results After modeling the behavior of crowd members as de- scribed in section 4, and specifying anonymity properties as described in section 5, we used PRISM to perform prob- abilistic model checking of different system configurations and compute the relevant probabilities. Table2 describes the size of the state space for models of different size. The number of corrupt crowd members does not affect the size of the state space since all corrupt members are modeled as a single process (see section 4.... ..."

Cited by 32

### Table 2. Size of state space.

2002

"... In PAGE 8: ... Analysis Results After modeling the behavior of crowd members as de- scribed in section 4, and specifying anonymity properties as described in section 5, we used PRISM to perform prob- abilistic model checking of different system configurations and compute the relevant probabilities. Table2 describes the size of the state space for models of different size. The number of corrupt crowd members does not affect the size of the state space since all corrupt members are modeled as a single process (see section 4.... ..."

Cited by 32

### Table 4: State space representations

2002

"... In PAGE 2: ... We used the variables summarised in Table 3 to construct a number of different state spaces. These are listed in Table4 , along with the corresponding state-action space sizes. The latter are equal to the num- ber of C9 values that need to be stored after impossible states and state-action combinations have been pruned out.... ..."

Cited by 23

### Table 1. The state space variables.

in An architecture for natural language dialog applications in data exploration and presentation domain

"... In PAGE 8: ... For example, most database retrieval tasks can be modelled efficiently by using forms, while more open-ended dialogues, such as enti- ties identification in corporate databases may be implemented more efficiently using state-machines. Below in the Table1 we describe state variables and variables values in our dialog management system for data retrieval, analysis and presentations tasks. Because the system is user centric orientated the values of some state space variables are nor fixed as in [21] but has some range of flexibility.... ..."

Cited by 2

### Table 2. Growth of state spaces

2006

"... In PAGE 14: ... We constructed the TLBAs, SLBAs and TAs for the formulas we describe below and calculated their products with the Kripke structures. Table2 shows the average number of states and transitions obtained in each case. The first column gives the formula class and n.... ..."

Cited by 1

### Table 2. Growth of state spaces

2006

"... In PAGE 11: ... We constructed the TLBAs, SLBAs and TAs for the formulas we describe below and calculated their products with the Kripke structures. Table2 shows the average number of states and transitions obtained in each case. The first column gives the formula class and n.... ..."

Cited by 1

### TABLE 1 State Space Groups

### Table 1: Results of State Space Analysis

1994

"... In PAGE 17: ... For this case the state space is about 160,000 states, and model solution takes about 9 hours on a HP 715 workstation. Although PEPP solves graph models using an approximate state space analysis, model evaluation using state space analysis is not possible for a higher degree of parallelism ( Table1 ). It should be emphasized that the approximate state space analysis implemented in PEPP can deal with any runtime distribution (e.... ..."

Cited by 17

### Table 1: Results of State Space Analysis

"... In PAGE 17: ... For this case the state space is about 160,000 states, and model solution takes about 9 hours on a HP 715 workstation. Although PEPP solves graph models using an approximate state space analysis, model evaluation using state space analysis is not possible for a higher degree of parallelism ( Table1 ). It should be emphasized that the approximate state space analysis implemented in PEPP can deal with any runtime distribution (e.... ..."