Back to Results
First PageMeta Content
Model checkers / Mathematical logic / Formal languages / PRISM model checker / Model checking / Markov chain / Stochastic / Well-formed formula / Linear temporal logic / Logic / Statistics / Mathematics


Automated Game-theoretic Verification for Probabilistic Systems 
 Dave Parker
 University of Birmingham Imperial College London, December 2012
Add to Reading List

Document Date: 2012-12-13 17:18:55

Open Document

File Size: 527,84 KB

Share Result on Facebook

Company

Probabilistic Systems / Markov / /

Facility

University of Birmingham Imperial College London / /

IndustryTerm

reward operator / energy management / wireless communication protocols / stochastic systems / security protocols / coalition operator / e.g. security protocols / energy consumption / computing / /

Organization

University of Birmingham Imperial College London / /

Person

Dave Parker / /

Position

player / /

Technology

security protocols / e.g. security protocols / wireless communication protocols / /

SocialTag