Back to Results
First PageMeta Content
Mathematics / Temporal logic / Mathematical analysis / Theoretical computer science / Linear temporal logic / Mathematical logic / Formal languages / Computation tree logic / Constructible universe / Markov decision process / Well-formed formula / IP


Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ
Add to Reading List

Document Date: 2013-10-04 14:46:58

Open Document

File Size: 902,96 KB

Share Result on Facebook
UPDATE