Efficient algorithms for temporal logic verification - Olivecrona, Olof (My University, 2021)