To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
How to create Declare Map for the Declare to LTL plug-in input
I want to create a LTL model for compliance check based on a declare map. I used the plug in Declare Map Miner to create a DeclareMinerOuptut object, but I don't know how to make it into a declare map object so I can use as input for the LTL conversion. Please help