RuntimeVerificationWithImperfectInformation

Requirements

How to run

Inside the terminal

$- python rvImpInf.py "<LTL>" "<AP>" "<Indistinguishability>" <file>

Just as an example

$- python rvImpInf.py "X a" "[a,b,c]" "[a,b]" test.txt

To test property presented in SEFM 2022 paper:

$- sh test_paper_property.sh