|
Determining the size of the state space
Rybanský, Marian ; Krček, Petr (referee) ; Roupec, Jan (advisor)
Objective of the thesis is to describe and evaluate the appropriate methods to determine the size of the state space. State space will be created by using a program (generator) which generates a state space, from the input values and regulations (model). To objectively assess the state space we classifies according to their parameters. Classified state space will be added to a class, in which the demarcation perform evaluation methods will be done.
|
| |
|
Determining the size of the state space
Rybanský, Marian ; Krček, Petr (referee) ; Roupec, Jan (advisor)
Objective of the thesis is to describe and evaluate the appropriate methods to determine the size of the state space. State space will be created by using a program (generator) which generates a state space, from the input values and regulations (model). To objectively assess the state space we classifies according to their parameters. Classified state space will be added to a class, in which the demarcation perform evaluation methods will be done.
|
|
Determining the size of the state space
Rybanský, Marian ; Krček, Petr (referee) ; Roupec, Jan (advisor)
Objective of the thesis is to describe and evaluate the appropriate methods to determine the size of the state space. State space will be created by using a program (generator) which generates a state space, from the input values and regulations (model). To objectively assess the state space we classifies according to their parameters. Classified state space will be added to a class, in which the demarcation perform evaluation methods will be done.
|