Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Temporal problems with uncertainty are a ll established formalism to model time constraints of a system interacting with an uncertain environment. Several works have addressed the definition and the solving of controllability problems, and three degrees of controllability have been proposed: ak, strong, and dynamic.#R##N##R##N#Inthis work  focus on ak controllability:  address both the decision and the strategy extraction problems. Extracting a strategy means finding a function from assignments to uncontrollable time points to assignments to controllable time points that fulfills all the temporal constraints.#R##N##R##N# address the two problems in the satisfiability modulo theory framework.  provide a clean and complete formalization of the problems, and  propose novel techniques to extract strategies.  also provide experimental evidence of the scalability and efficiency of the proposed techniques.
['Alessandro Cimatti', 'Andrea Micheli', 'Marco Roveri']
I am writing a research paper on a idea Solving temporal problems using SMT: weak controllability
[{"from": "human", "value": "I am writing a research paper on a idea Solving temporal problems using SMT: weak controllability"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Temporal problems with uncertainty are a ll established formalism to model time constraints of a system interacting with an uncertain environment. Several works have addressed the definition and the solving of controllability problems, and three degrees of controllability have been proposed: ak, strong, and dynamic.#R##N##R##N#Inthis work  focus on ak controllability:  address both the decision and the strategy extraction problems. Extracting a strategy means finding a function from assignments to uncontrollable time points to assignments to controllable time points that fulfills all the temporal constraints.#R##N##R##N# address the two problems in the satisfiability modulo theory framework.  provide a clean and complete formalization of the problems, and  propose novel techniques to extract strategies.  also provide experimental evidence of the scalability and efficiency of the proposed techniques."}]