ltl-explainability/ltl-formulas at main · runmingl/ltl-explainability

Name		Name	Last commit message	Last commit date
parent directory ..
ApplicationBenchmarks		ApplicationBenchmarks
RV10counters		RV10counters
RV10patterns		RV10patterns
binary_counter		binary_counter
AAC_Communication_Protocol.ltl		AAC_Communication_Protocol.ltl
README		README
benchmark-ltls.txt		benchmark-ltls.txt
benchmark.py		benchmark.py
plot.py		plot.py
star-height-graph.png		star-height-graph.png
tllens-graph.png		tllens-graph.png

README

AAC_Communication_Protocol.ltl = 6 formulas from Zhao & Rozier

ApplicationBenchmarks/ = 63 formulas from RV11