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.
Overview<br />
1. Introducti<strong>on</strong><br />
2. Modelling Timed Systems<br />
3. Real-Time Temporal Logic<br />
4. Efficient Tableau C<strong>on</strong>structi<strong>on</strong>s<br />
5. C<strong>on</strong>clusi<strong>on</strong>s<br />
A 1