Büchi automaton to Linear Temporal Logic
-
06-11-2019 - |
题
Given a Büchi automaton what is the procedure to build an equivalent LTL formula? And what is its size?
I'm looking for references but I haven't found them so far.
没有正确的解决方案
不隶属于 cs.stackexchange