Video State Machine (VSM)

Stormpy

Example formula:

Pmax=? [G"person"]
Pmin=? [G"person"]
P=? [G"person" & F!"car"]
P>=.90 [G("person" & ("backpack" | "handbag")) & !"car"]

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.github/workflows		.github/workflows
docker		docker
images		images
tests		tests
vsm		vsm
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
pyproject.toml		pyproject.toml
ruff.toml		ruff.toml