/tl_experiments

experimenting with temporal logic specifications