Back to Results
First PageMeta Content
Markov chain / PRISM model checker / Model checking / Probability and statistics / Model checkers / Markov models / Statistics


Probabilistic Model Checking
 and Strategy Synthesis
 
 Dave Parker
 

Add to Reading List

Document Date: 2014-10-28 22:42:02

Open Document

File Size: 2,95 MB

Share Result on Facebook

Facility

University of Birmingham UC Berkeley / /

IndustryTerm

probabilistic systems / network/communication protocols / power management / energy management / algorithms/protocols / communication protocols / wireless communication / /

Organization

University of Birmingham Joint / University of Birmingham UC Berkeley / /

Person

Nick Hawes / Bruno Lacerda / Klaus Draeger / Marta Kwiatkowska / Dave Parker / /

Position

controller / multi-player / scheduler / Probabilistic model / /

Technology

network/communication protocols / simulation / communication protocols / /

SocialTag