Introduce yourself here!

A post was split to a new topic: Why LTL approach is not been considered?