Image from https://t.co/ILD9qTV47W is the hierarchy of nested operators in temporal logic.◇□ and □◇ are not equivalent, and one might think this goes on forever— □◇□◇ properties being more…
Posters: davidad. davidad
2 likes recorded by the source corpus.
Topics: Math