Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

510 users

0 votes
August 2018, 2e

For the restrict algorithm why β' graph is generated and how to construct it?
in # Study-Organisation (Master) by (850 points)

1 Answer

0 votes
The graph beta describes the care set. It is given as an input and is constructed by a particular application. For instance, for a transition system, the reachable states are of interest and the others don't care.
by (162k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Jul 31 in * TF "Emb. Sys. and Rob." by farwinr (380 points)
Imprint | Privacy Policy
...