Estimating State Space Parameters

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

ŠIMEČEK Pavel PELÁNEK Radek

Year of publication 2008
Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Informatics

Citation
Description We introduce the problem of estimation of state space parameters, argue that it is an interesting and practically relevant problem, and study several simple estimation techniques. Particularly, we focus on estimation of the number of reachable states. We study techniques based on sampling of the state space and techniques that employ data mining techniques (classification trees, neural networks) over parameters of breadth-first search. We show that even through the studied techniques are not able to produce exact estimates, it is possible to obtain useful information about a state space by sampling and to use this information to automate the verification process.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.