Linear temporal logic tutorial

https://www.youtube.com/watch?v=--4S7HjoZho

image-20220310123809328

image-20220310123723143

Examples

image-20220310124137825

image-20220310124158807

https://pure.tudelft.nl/ws/files/85314362/w42.pdf