Add logical biconditional

sisl / SignalTemporalLogic.jl

Signal temporal logic (STL) formulas and robustness in Julia

Other

9 stars 1 forks source link

Open mossr opened 1 year ago

mossr commented 1 year ago

Make P == Q shorthand for logical biconditional instead of (P ⟹ Q) ∧ (Q ⟹ P)

mossr commented 1 year ago

How should we handle robustness and approximate robustness for vectored states?