Back to Results
First PageMeta Content
Markov models / Model checking / Markov chain / Probabilistic automaton / Economic model / Probabilistic logic / Probability / Statistics / Automata theory


Probabilistic Model Checking
 and Strategy Synthesis
 
 Dave Parker
 
 

Add to Reading List

Document Date: 2013-10-22 23:04:08

Open Document

File Size: 1,85 MB

Share Result on Facebook

Facility

University of Birmingham NASA Ames / /

IndustryTerm

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

Organization

University of Birmingham Joint / University of Birmingham NASA Ames / /

Person

Marta Kwiatkowska / Dave Parker / /

Position

robot controller / /

Technology

Bluetooth / simulation / communication protocols / /

SocialTag