Parallel Differentiable Reachability for Learning and Planning with Certified Neural Dynamics and Controllers
यह शोध पत्र JAX में एक समानांतर करने योग्य (parallelizable), अवकलनीय (differentiable) पहुँच क्षमता ढांचे (reachability framework) को प्रस्तुत करता है जो अनिश्चितता के तहत न्यूरल नेटवर्क डायनेमिक्स और कंट्रोलर्स के लिए प्रमाणित प्रशिक्षण और ग्रेडिएंट-आधारित योजना को सक्षम करने के लिए टेलर-मॉडल फ्लोपाइप्स (Taylor-model flowpipes) को CROWN-शैली के बाउंड प्रोपेगेशन के साथ जोड़ता है।