Repository navigation

Consider only one bad state #5

Open

Assignees

Labels

opened

on Jan 31, 2021

In the approach bad states do not have any successors. Thus, just merge all bad states into one so that the set of stored states is smaller and searching a state gets faster. We have to unfold them again when generating the Petri game strategy.

No activity

Activity on this issue will appear here.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

mgieseking

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests