Commit fda78b39 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

And another one

parent 162a0e57
......@@ -31,7 +31,7 @@ AG(f)
EG(f)
EF(EG(s))
not EU(not x,y)
EF(y)/\not EU(not x,y)
not y/\EF(y)/\not EU(not x,y)
reachable(checkpoint2(not A,not B)) is true
reachable(checkpoint2(not B,not A)) is false
<img src="plot-4.csv" alt="Simulation results">
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment