Slide 1an improved on-the-fly tableau construction for a real-time temporal logic Marc Geilen 12 July 2003 /e Slide 2 Overview Introduction RT Temporal Logic Model-Checking…