UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGA UPPAAL [BDL04] একটি এক্সটেনশন এবং এটি reachability এবং নিরাপত্তা বৈশিষ্ট্য সম্মান সঙ্গে সময় শেষ খেলা automata উপর ভিত্তি করে গেম সমাধানের জন্য প্রথম দক্ষ অন মাছি অ্যালগোরিদম প্রয়োগ করা.দীর্ঘ সময় শেষ গেম নির্ধার্য হিসেবে পরিচিত হয়েছে যদিও...
