Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The verification problem for probabilistic concurrent finite-state program is to decide whether such a program satisfies its linear temporal logic specification.  describe an automata-theoretic approach, whereby probabilistic quantification over sets of computations is reduced to standard quantification over individual computations. Using new determinization construction for ω-automata,  manage to improve the time complexity of the algorithm by two exponentials. The time complexity of the final algorithm is polynomial in the size of the program and doubly exponential in the size of the specification.
['Moshe Y. Vardi']
I am writing a research paper on a idea Automatic verification of probabilistic concurrent finite state programs
[{"from": "human", "value": "I am writing a research paper on a idea Automatic verification of probabilistic concurrent finite state programs"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The verification problem for probabilistic concurrent finite-state program is to decide whether such a program satisfies its linear temporal logic specification.  describe an automata-theoretic approach, whereby probabilistic quantification over sets of computations is reduced to standard quantification over individual computations. Using new determinization construction for \u03c9-automata,  manage to improve the time complexity of the algorithm by two exponentials. The time complexity of the final algorithm is polynomial in the size of the program and doubly exponential in the size of the specification."}]