Introduce yourself here!

4 posts were merged into an existing topic: Why LTL approach is not been considered?