LTL_property_base.py 2.47 KB