8000 GitHub - wolvre/probred: Probabilistic RED
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

wolvre/probred

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

probred

Probabilistic RED

A prototype tool for the reachability analysis of probabilistic timed automata based on an integrated quantitative state-space representation, which is an extension of RED diagrams.

to compile it

cd redlib
make
cd ..
make

to run it

pta -Tg -Max -G0.000001 <.d> <.goal> <.prob>

pta -Tg -Min -G0.000001 <.d> <.goal> <.prob>

args description
-Tg reachability analysis
-Max maximum probability
-Min minimum probability
-G precision threshold
<.d> model file
<.goal> symbolic target state
<.prob> probability file

About

Probabilistic RED

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published
0