• Does every state sequence from th

• Does every state sequence from this hazardous state lead to a low-risk state

ผลลัพธ์ (ไทย) 1:

•ไม่ทุกลำดับของรัฐจากรัฐนำไปสู่​​อันตรายนี้ไปยังรัฐมีความเสี่ยงต่ำ

ผลลัพธ์ (ไทย) 2:

•ไม่ทุกลำดับสถานะจากลูกค้าเป้าหมายนี้สถานะอันตรายไปยังสถานะความเสี่ยงต่ำ

ผลลัพธ์ (ไทย) 3:

•ไม่ตามลำดับของรัฐทุกครั้งจากรัฐเป็นอันตรายนี้นำไปสู่รัฐต่ำมีความเสี่ยงที่