![Temporal logic / Linear temporal logic / Theoretical computer science / Symbol / Mathematical logic / Computation tree logic Temporal logic / Linear temporal logic / Theoretical computer science / Symbol / Mathematical logic / Computation tree logic](https://www.pdfsearch.io/img/3c3d0553bba65e07f32e905b405ad73e.jpg) Date: 2015-10-01 09:45:47Temporal logic Linear temporal logic Theoretical computer science Symbol Mathematical logic Computation tree logic | | Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1Add to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 421,35 KBShare Document on Facebook
|