An on-the-fly tableau construction for a real-time temporal logic
An on-the-fly tableau construction for a real-time temporal logic
An on-the-fly tableau construction for a real-time temporal logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
5. C<strong>on</strong>clusi<strong>on</strong>s and Future Work<br />
• On-<strong>the</strong>-<strong>fly</strong> <strong>tableau</strong> c<strong>on</strong>structi<strong>on</strong> <strong>for</strong> a linear <strong>real</strong>-<strong>time</strong> <strong>temporal</strong> <strong>logic</strong><br />
• Weakly m<strong>on</strong>ot<strong>on</strong>e <strong>time</strong><br />
• Observers <strong>for</strong> simulati<strong>on</strong>s<br />
• Implementati<strong>on</strong><br />
A 34