Back to Results
First PageMeta Content
Temporal 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 1
Add to Reading List

Document Date: 2015-10-01 09:45:47


Open Document

File Size: 421,35 KB

Share Result on Facebook
UPDATE