Commit 269196a7 authored by FAGES Francois's avatar FAGES Francois

TODOrestructuringfoltl.pl

parent 49e6b0dc
......@@ -40,7 +40,7 @@ The \\texttt{foltl_magnitude} option (default 5) is the multiplicative factor us
\\begin{itemize}
\\item add_ltl for creating FO-LTL(Rlin) specifications
\\item generate_ltl for interesting patterns with objective values
\\item in ppl.pl: compute robustness as penetration depth in addition to satisfaction degree
\\item in ppl.pl: move from here the cpp program generation for ppl and compute robustness as penetration depth in addition to satisfaction degree
\\item in tables.pl or perhaps numerical_simulation.pl about traces: move from here the little time:value list grammar, and add trace simplification keeping only the time points that are extremal for some variable
\\end{itemize}').
......
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