First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 421,35 KBShare Document on Facebook |