.. index:: pbespor

.. _tool-pbespor:

pbespor
=======

This tool transforms a PBES into a BES by means of state-space exploration.
However, it attempts to explore only a part of the state space, thus saving
time and memory.

This tool is highly experimental, and using it is not recommended.


.. include:: man/pbespor.rst