PrSTL

Probabilistic Signal Temporal Logic

summary

(nil)

results

• First defined in [1]

references (chronological order)

1. Safe Control under Uncertainty with Probabilistic Signal Temporal Logic (2016)

tools

1. CrSyPSTL