dehnert
|
9cf488b249
|
moved to checking the validity of transition matrices by calling the matrix function
Former-commit-id: 720ec56380
|
10 years ago |
|
dehnert
|
b94e978843
|
another round of fixes
Former-commit-id: 67f4e4be47
|
10 years ago |
|
dehnert
|
e2b84c8155
|
changed some method signatures to make gcc happier
Former-commit-id: 12a6d0b4d6
|
10 years ago |
|
dehnert
|
6133c3462a
|
symbolic models can now have several reward models, adapted reward generation in model builders, probably introduced quite some bugs
Former-commit-id: 1fae8bcf12
|
10 years ago |
|
dehnert
|
e631dbd1a0
|
more work on new reward models
Former-commit-id: 661c7b5b24
|
10 years ago |
sjunges
|
f85d28325e
|
Further work towards faster and more modular compilation
Former-commit-id: 9de50910b8
|
10 years ago |
|
dehnert
|
dcd42d5653
|
started reworking reward models
Former-commit-id: 49d9106451
|
10 years ago |
|
sjunges
|
2e0c9c1244
|
unification of some constructs in carl propagated to storm
Former-commit-id: 34ba08debf
|
10 years ago |
|
dehnert
|
f879c608eb
|
fix for wrong ifdef
Former-commit-id: dd17e10d08
|
10 years ago |
|
dehnert
|
ecb37ccd1d
|
made compilation of ConstraintCollector in Dtmc predicated on CARL being available
Former-commit-id: 8d0e3ea636
|
10 years ago |
|
dehnert
|
4dbbe3c561
|
moved constraint collection to DTMC class
Former-commit-id: 5471a20bec
|
10 years ago |
|
dehnert
|
96464fdcbc
|
added model classes for two-player stochastic games
Former-commit-id: 8dccae2ea9
|
10 years ago |
|
dehnert
|
f0b174b756
|
Fixed performance tests.
Former-commit-id: f58e2eb923
|
10 years ago |
|
dehnert
|
a1dae8849e
|
Reworked (sparse) model files: moved them into their own namespace and deleted some functionality that is never used and not that nicely implemented.
Former-commit-id: d4e6df30b5
|
10 years ago |
