Back to Results
First PageMeta Content
Symbol / Linear temporal logic / Constructible universe / Markov chain / Probabilistic logic / Logic / Mathematics / Epistemology


Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b
Add to Reading List

Document Date: 2013-12-01 12:09:39


Open Document

File Size: 333,67 KB

Share Result on Facebook
UPDATE