Its very useful for researchers and programmers who are working on system control and verification. it is a soft tool that used for verifying a system offline using formula language LTL. We use dynamic programming method in this soft.

LTLrobust\LTLrobust\dataProcess.cpp
.........\.........\dataProcess.h
.........\.........\demo_data.txt
.........\.........\demo_spec.txt
.........\.........\distances.h
.........\.........\ltl2ba.h
.........\.........\LTLrobust.vcproj
.........\.........\LTLrobust.vcproj.ASUAD.cliu81.user
.........\.........\LTLrobust.vcproj.CheLiu-PC.Che Liu.user
.........\.........\monitor.h
.........\.........\output.txt
.........\.........\RubustLTL.cpp
.........\.........\timepoint.txt
.........\.........\verify.txt
.........\LTLrobust.sln
.........\LTLrobust.suo
.........\LTLrobust
LTLrobust

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．