यह शोधपत्र परिमित अनुरेखों के लिए रैखिक-कालिक तर्क (LTLf) से प्रतिक्रियाशील संश्लेषण को LTLf विनिर्देशन में नियतात्मक परिमित ऑटोमेटा (DFA) पर दो-खिलाड़ी खेल में कम करने की समस्या पर विचार करता है। प्राथमिक चुनौती सबसे खराब स्थिति में 2EXPTIME-पूर्ण DFA का निर्माण करना है। मौजूदा तकनीकें या तो खेल को हल करने से पहले ऑटोमेटा न्यूनीकरण का उपयोग करके अवस्था-स्थान विस्फोट को कम करने के लिए DFA का रचनात्मक निर्माण करती हैं, या पूर्ण DFA के निर्माण से बचने के लिए खेल के दौरान DFA का क्रमिक निर्माण करती हैं। हालाँकि, कोई भी दृष्टिकोण श्रेष्ठ नहीं है। इस शोधपत्र में, हम एक रचनात्मक ऑन-द-फ्लाई संश्लेषण ढाँचा प्रस्तुत करते हैं जो दोनों दृष्टिकोणों की खूबियों को जोड़ता है, और व्यवहार में सामान्य रूप से पाए जाने वाले छोटे LTLf सूत्रों के बड़े संबंध पर ध्यान केंद्रित करता है। यह ढाँचा ऑटोमेटा (खेल क्षेत्र) निर्माण के बजाय खेल समाधान के दौरान निर्माण को लागू करता है। हालाँकि सबसे खराब स्थिति में सभी मध्यवर्ती परिणामों का निर्माण आवश्यक हो सकता है, इन परिणामों को छाँटने से बाद का निर्माण सरल हो जाता है और अव्यवहार्यता का शीघ्र पता चल जाता है। विशेष रूप से, यह फ्रेमवर्क दो निर्माण विविधताओं की अनुमति देता है: न्यूनतमीकरण को अधिकतम करने के लिए निर्माण से पहले छंटाई, या तत्काल संश्लेषण को निर्देशित करने के लिए निर्माण के दौरान छंटाई। अत्याधुनिक सिंथेटिक सॉल्वरों की तुलना में, हमारा फ्रेमवर्क बड़ी संख्या में ऐसे उदाहरणों को हल कर सकता है जिन्हें अन्य सॉल्वर संभाल नहीं सकते। विस्तृत विश्लेषण दर्शाता है कि दोनों कॉन्फ़िगरेशन विविधताएँ अद्वितीय लाभ प्रदान करती हैं।
