Chris, so you found some of Prof. Harel's work interesting? https://news.ycombinator.com/item?id=7489865 https://news.ycombinator.com/item?id=7489865 Or did y

Chris, so you found some of Prof. Harel's work interesting? https://news.ycombinator.com/item?id=7489865 https://news.ycombinator.com/item?id=7489865 Or did you arrive at a use case for temporal logic from another avenue? Congratulations, by the way, eve sounds exciting!