- Spot - LRE

哈喽！现邀您注册领取VIP会员和38圆钱实力平台出款安全保障更多优惠尽在【335418点com】天天都有红包雨 VIP周周领工资俸禄月月拿详情企鹅专员2813339771咨询
by 孟荔娜 10 Feb '18

10 Feb '18

1 0

哈喽！现邀您注册领取VIP会员和38圆钱实力平台出款安全保障更多优惠尽在【336478点com】天天都有红包雨 VIP周周领工资俸禄月月拿详情企鹅专员2810009279咨询
by 邱秋铭 10 Feb '18

10 Feb '18

1 0

哈喽！现邀您注册领取VIP会员和38圆钱实力平台出款安全保障更多优惠尽在【335648点com】天天都有红包雨 VIP周周领工资俸禄月月拿详情企鹅专员2415932228咨询
by 何世 10 Feb '18

10 Feb '18

1 0

Possible Bug in SPOT
by Yong Li 22 Jan '18

22 Jan '18

Hi all, I am using SPOT by following command autfilt --equivalent-to=A.hoa B.hoa to check the equivalence of two Buchi automata A.hoa and B.hoa (attached). It returns nothing and it means two automata are not equivalent. But actually I used GOAL and RABIT to check the equivalence, they said yes. I think you may want to have a look. Regards, Yong -- Yong Li (李勇), State Key Lab. of Computer Science Institute of Software, Chinese Academy of Sciences

2 1

Bug in ltlcross manual
by František Blahoudek 28 Dec '17

28 Dec '17

Hi, I think there is a bug in the manual of ltlcross. There is the paragraph > If the translator produced a Streett or Rabin automaton, these columns > contains the size of a TGBA (or BA) produced by ltlcross from that > Streett or Rabin automaton. Check in_states, in_edges, in_transitions, and in_acc for statistics about the actual input automaton. which seems no longer to be valid as I have no such columns in the output files created by ltlcross v. 2.4.4. Best, Fanda Blahoudek

2 1

genaut --ks-nca error
by Florian Barta 18 Oct '17

18 Oct '17

Hi, when using genaut --ks-nca e.g. genaut --ks-nca=1..10 I get the following error: genaut: print_hoa(): automaton is complete but prop_complete()==false Is this a bug? What can I do to get the desired result? I am using spot version 2.4.1 on Ubuntu 16.04. Best regards, Florian Barta

2 1

is_tt and is_ff in Python bindings
by František Blahoudek 18 Oct '17

18 Oct '17

Hi, I have found out that is_tt and is_ff does nt work as expected in Python. See the attached notebook for details. Best, Fanda Blahoudek

2 1

genaut - documentation
by František Blahoudek 07 Sep '17

07 Sep '17

Hi, there is a tiny inconsistency in man genaut. For the families from Löding's paper there is ... 4N states ... less than n! states. I guess the n and N should share their case. Best, Fanda

2 1

man autcross
by František Blahoudek 06 Sep '17

06 Sep '17

Hi, the manual says in the section DESCRIPTION: The list of automata to use should be supplied on standard input, or using the -f or -F options. However, the tool knows no -f option. Fanda

1 0

can't compile spot
by Pedro Marquez 19 Jul '17

19 Jul '17

I downloaded the spot tar package and tried to compile it using ./configure, make, sudo make install. However, make reports the error: make: *** No targets specified and no makefile found. Stop. and sudo make install reports: make: *** No rule to make target 'install'. Stop. What's happening, what can I do? Thank you in advance, -Pedro Marquez, Prof.

2 1