UPPAAL TIGA เป็นส่วนขยายของ UPPAAL [BDL04] และจะดำเนินการเป็นครั้งแรกที่มีประสิทธิภาพ on-the-บินอัลกอริทึมสำหรับการแก้เกมขึ้นอยู่กับออเกมหมดเวลาที่เกี่ยวกับการเชื่อมและคุณสมบัติด้านความปลอดภัย
แม้ว่าเกมหมดเวลานานได้รับทราบเพื่อจะได้มี decidable จนถึงตอนนี้การขาดความมีประสิทธิภาพและอย่างแท้จริงในการ-the-fly อัลกอริทึมสำหรับการวิเคราะห์ของพวกเขา
UPPAAL TIGA มีอินเตอร์เฟซแบบกราฟิกที่ใช้งานง่ายด้วยเซิร์ฟเวอร์ที่สอดคล้องกันและตรวจสอบบรรทัดคำสั่ง
ขั้นตอนวิธีการที่เรานำเสนอ [CDFLL05] เป็นส่วนขยายของสัญลักษณ์ของ on-the-fly ขั้นตอนวิธีการแนะนำโดยหลิวและ Smolka [LS98] เวลาเชิงเส้นรูปแบบการตรวจสอบระบบรัฐ จำกัด เป็น on-the-บินอัลกอริทึมอาจบอกเลิกนานก่อนที่จะมีการสำรวจทั้งรัฐพื้นที่
นอกจากนี้แต่ละขั้นตอนของอัลกอริทึมที่มีการดำเนินการอย่างมีประสิทธิภาพโดยการใช้งานของโซนที่เรียกว่าเป็นโครงสร้างข้อมูลพื้นฐาน เครื่องมือของเราดำเนินการเพิ่มประสิทธิภาพต่างๆของอัลกอริทึมพื้นฐานเช่นเดียวกับวิธีการขอรับกลยุทธ์ชนะเวลาที่ดีที่สุด (สำหรับเกม reachability)
มีอะไรใหม่ในรุ่นนี้:
ความคิดเห็นที่ไม่พบ