Signal Temporal Logic tutorial. Gracias siguiente en ingles.

Denied意思. ともラジ.