TimQu
|
7f74f19342
|
exact pla
|
9 years ago |
dehnert
|
1a803f4270
|
created symbolic native solver to factor out numerical solution; prepared the code-path that stores rational functions in DDs (hybrid + dd engines)
|
9 years ago |
|
dehnert
|
fd31e23306
|
allow arbitrary-layer meta variables in DdManager; make DdManager available as non-const from a DD; started on symbolic state elimination linear equation solver
|
9 years ago |
Matthias Volk
|
a18161b6e3
|
Quick fix for CTMC instantiation
|
9 years ago |
|
Matthias Volk
|
069908d7c9
|
Working on DNR parser
|
9 years ago |
|
TimQu
|
732bbc85d2
|
worked on parametric model simplifier
|
9 years ago |
|
TimQu
|
cab08525f8
|
fix in SymbolicToSparseTransformer
|
9 years ago |
Sebastian Junges
|
598dd85972
|
SymbolicModel: getDeadlockStates
|
9 years ago |
|
Sebastian Junges
|
0ead111dea
|
SymbolicModel: getLabels
|
9 years ago |
|
Sebastian Junges
|
e847d71e13
|
SymbolicModel: getRewardModels.
|
9 years ago |
|
Matthias Volk
|
7d3fee88f8
|
Use fail labels according to given properties
|
10 years ago |
|
TimQu
|
0bb1c5855e
|
fixed bug when computing expected reachability rewards on MAs
|
10 years ago |
|
dehnert
|
a7e9c5819f
|
removed 'size-in-memory' output as it was outdated and unreliable. added timing measurements for model construction and model checking
|
10 years ago |
|
dehnert
|
43354d0c20
|
bunch of fixes (prominently in prism -> jani conversion)
|
10 years ago |
|
dehnert
|
9e8d6eee90
|
fixed a bug when reducing state-action rewards to state rewards for CTMCs
|
10 years ago |
|
TimQu
|
92e837f83c
|
fixed closing of MAs: Previously, stateActionRewardVectors have not been handled properly.
|
10 years ago |
|
TimQu
|
0b555d5d59
|
fixed closing of MAs: Previously, stateActionRewardVectors have not been handled properly.
|
10 years ago |
|
Sebastian Junges
|
1f82fa27e8
|
reward parameters
|
10 years ago |
|
TimQu
|
c1063f27cc
|
added a few more tests for multi-objective MAs. Also fixed/improved minor stuff.
|
10 years ago |
|
dehnert
|
8d6b029d67
|
next batch of fixing warnings
|
10 years ago |
|
dehnert
|
19fd72cfb6
|
optimized reuse of qualitative values
|
10 years ago |
|
dehnert
|
bf5018b858
|
post-merge fixes
|
10 years ago |
|
Sebastian Junges
|
d246517757
|
removed src prefix in all includes
|
10 years ago |
|
Sebastian Junges
|
e1d201c85e
|
c++ code compiles again after rename
|
10 years ago |
|
Sebastian Junges
|
3a7ee7867b
|
rename files (does not compile)
|
10 years ago |
