Tim Quatmann
|
c6b984ca51
|
Do not perform the conversion from a prism program to a jani model twice.
|
6 years ago |
Matthias Volk
|
f6d6d952a6
|
Fixed warnings
|
6 years ago |
|
Tim Quatmann
|
c6c6f45483
|
Fixed compilation for storm-pars and storm-pomdp
|
6 years ago |
|
Tim Quatmann
|
d36cd93ae8
|
CLI: Split parsing and preprocessing of symbolic input into two steps.
Moved engine related methods and declaration to a separate file.
|
6 years ago |
Sebastian Junges
|
112973d02a
|
adapt for hintsettings that have been added recently
|
6 years ago |
|
Sebastian Junges
|
d398d6643f
|
enable logging
|
6 years ago |
|
Sebastian Junges
|
09cf1902e0
|
added transformer to make pomdp canonic
|
6 years ago |
|
Sebastian Junges
|
9469e9b088
|
added missing settings
|
6 years ago |
|
Sebastian Junges
|
9ad8209a65
|
clarify that a formula needs to be added to do anything in storm-pomdp
|
7 years ago |
|
Matthias Volk
|
8b87d79c3e
|
Removed copy-pasted references to DFTs
|
7 years ago |
|
Matthias Volk
|
8332abab58
|
Removed unused variables
|
7 years ago |
|
TimQu
|
19070a27a9
|
added 'fixed ring' pattern
|
8 years ago |
|
Sebastian Junges
|
0026c73096
|
Use strong bisim instead of weak bisim
|
8 years ago |
|
TimQu
|
d06c2c791a
|
introducing pomdp memory patterns
|
8 years ago |
|
Sebastian Junges
|
078b5fee60
|
use weak bisim instead of strong bisim for pmcs generated from pomdps
|
8 years ago |
|
Sebastian Junges
|
b0059b6d85
|
pomdp stuff working again with latest master
|
8 years ago |
|
TimQu
|
90087ff526
|
added transformation to binary pomdp
|
8 years ago |
|
Sebastian Junges
|
e4800543df
|
update settings objects
|
8 years ago |
|
Sebastian Junges
|
fda3445746
|
options how to transform fsc
|
8 years ago |
|
TimQu
|
7fe24e912e
|
more output
|
8 years ago |
|
TimQu
|
31f8ec98e4
|
implemented the pomdp unfolding to convert k-memory-bounded pomdps to memoryless pomdps
|
8 years ago |
|
TimQu
|
5d80aa60d7
|
extended pomdp settings
|
8 years ago |
|
TimQu
|
88339f4cff
|
invoking new functionalities in the cli. Also silenced some debug output
|
8 years ago |
sjunges
|
3ac42caf7c
|
extensions to pomdp stuff
|
8 years ago |
|
sjunges
|
10b1f65840
|
eliminating selfloops in pomdps
|
8 years ago |
|
Sebastian Junges
|
790fbffd6d
|
pomdps in an own cli, support for application of stochastic schedulers, etc
|
8 years ago |
