Sebastian Junges
|
4760a12815
|
reset signal handler
|
4 years ago |
|
Sebastian Junges
|
f9ee3d10e4
|
simulating with rationals
|
4 years ago |
|
Sebastian Junges
|
b7ad55b34b
|
random prob generator for rationals
|
4 years ago |
|
Sebastian Junges
|
9df410e433
|
Merge branch 'master' into monitoring
|
4 years ago |
|
Sebastian Junges
|
b6be0f3356
|
convex reduction
|
4 years ago |
|
Sebastian Junges
|
d2e36e9db3
|
dense belief states
|
4 years ago |
|
Sebastian Junges
|
a358af1264
|
set entries that are nonzero
|
4 years ago |
Matthias Volk
|
f744176481
|
Fixed lib filename for carl (Fixes #85)
|
4 years ago |
Tim Quatmann
|
94311e7d30
|
Topological solvers: Added a warning for numerical issues triggered in cases where in non-exact mode a selfloop probability is very close to 1 but not equal to 1
|
4 years ago |
|
Tim Quatmann
|
8a77e3238d
|
Implemented isAlmostZero and isAlmostOne also for non-double value types.
|
4 years ago |
|
Tim Quatmann
|
87456d00fc
|
Fixes in EdgeContainer::operator=
|
4 years ago |
|
Tim Quatmann
|
33a6687721
|
Fixed deprecated operator= warnings
|
4 years ago |
|
TimQu
|
0e544a4c13
|
Enabled TimeOperatorFormulas for multi-objective model checking of MDPs.
|
4 years ago |
|
Matthias Volk
|
825454d482
|
Fixed warning
|
4 years ago |
|
Matthias Volk
|
55999036d6
|
Fixed warning
|
4 years ago |
|
TimQu
|
6902a3c8f8
|
Revert "Fixed dot output of BDDs in sylvan."
This reverts commit 6dcfd28186.
|
4 years ago |
|
Tim Quatmann
|
6dcfd28186
|
Fixed dot output of BDDs in sylvan.
|
4 years ago |
|
Matthias Volk
|
41089dee26
|
Throw exception in ParameterRegion if number of variables is too high
|
4 years ago |
|
Tim Quatmann
|
f91c0de9ec
|
Storm version 1.6.2
|
4 years ago |
|
Tim Quatmann
|
42ceed59c6
|
Removed debug output.
|
4 years ago |
|
Tim Quatmann
|
2c4e4b29e6
|
Updated documentation for new release.
|
4 years ago |
Jip Spel
|
50d7ee6e8d
|
Remove debug info
|
4 years ago |
|
Tim Quatmann
|
3883c99ed0
|
Storm Version 1.6.1
|
4 years ago |
|
Jip Spel
|
7f03d1e671
|
Remove debug info
|
4 years ago |
|
Tim Quatmann
|
a04085e848
|
Added cmake option exclude_tests_from_all so that we can run make install without building the tests.
|
4 years ago |
|
Tim Quatmann
|
871a28d6f6
|
Fixed compiling OviSettings
|
4 years ago |
|
Tim Quatmann
|
50c3a28305
|
Fixed spacing in ovi code.
|
4 years ago |
|
Tim Quatmann
|
cb39cc5c15
|
Optimistic value iteration helper: Removed unused code.
|
4 years ago |
|
Tim Quatmann
|
c5f698f9f7
|
ovi: removed unused option for only taking relevant values when updating the precision
|
4 years ago |
|
Tim Quatmann
|
169f9201b2
|
ovi: Fixed heuristic for canceling a guess.
|
4 years ago |
|
Sebastian Junges
|
a7c6b39f19
|
Added state valuations in unfolding.
|
4 years ago |
|
Sebastian Junges
|
bf4a7fca3b
|
Fixed tracker
|
4 years ago |
|
TimQu
|
18d9ba0f38
|
ovi: fixed using incorrect precision
|
4 years ago |
|
Sebastian Junges
|
3c682057ea
|
Merge branch 'master' into monitoring
|
4 years ago |
|
Tim Quatmann
|
84c0d77772
|
storm-pars fixed the fix...
|
4 years ago |
|
Tim Quatmann
|
45803c547e
|
storm-pars: Fixed an issue in the instantiation model checkers where maybestates were cached incorrectly.
|
4 years ago |
|
Tim Quatmann
|
d135bc8ecb
|
cmake: Workaround for the FATAL_ERROR that occurred whenever building shipped carl was aborted (bypassing github issue #62).
|
4 years ago |
|
Tim Quatmann
|
684c239f80
|
Using the revamped optimistic value iteration helper also for the lower bound.
|
4 years ago |
|
Tim Quatmann
|
1b2a78e9ac
|
Abstract equation solver: added getOptionalRelevantValues
|
4 years ago |
|
Sebastian Junges
|
f45b56e725
|
convenience operation on prism programs
|
4 years ago |
|
Tim Quatmann
|
990d1c9759
|
OVI: seperated implementation from header file. Use a separate helper for computing the upper bounds.
|
4 years ago |
|
Tim Quatmann
|
6e2dab0e0b
|
Silenced a warning in OVI code.
|
4 years ago |
|
Tim Quatmann
|
90d5da570c
|
Renamed portfolio engine to automatic engine.
|
4 years ago |
|
Sebastian Junges
|
7f5f263d7b
|
observation-trace-unfolder added
|
4 years ago |
|
Sebastian Junges
|
1b73f15ff9
|
fix == operator
|
4 years ago |
|
Tim Quatmann
|
9ce9ae9eeb
|
OVI: Fixed too early termination.
|
4 years ago |
|
Tim Quatmann
|
ee56f5b2f9
|
CMake Fixed version-info when the source code is not in a git repository.
|
4 years ago |
|
Sebastian Junges
|
9423d01631
|
observation valuations added
|
4 years ago |
|
Tim Quatmann
|
fb112ab191
|
Added support for modulo operators when building symbolic models in exact mode.
|
4 years ago |
|
Tim Quatmann
|
d90c14b8f5
|
Added progress information for LRA computations
|
4 years ago |
