Tim Quatmann
|
d184d67b53
|
Refactored under-approximation code a bit.
|
5 years ago |
|
Tim Quatmann
|
97842f356d
|
Fixed beliefgrid exploration.
|
5 years ago |
|
Tim Quatmann
|
b3796d740f
|
Fixed confusing lower and upper result bounds for minimizing properties.
|
5 years ago |
|
Tim Quatmann
|
6fee61feb1
|
POMDP: Started to split belief logic from exploration logic.
|
5 years ago |
|
Tim Quatmann
|
b53b6ab275
|
Added missing line breaks
|
5 years ago |
|
Tim Quatmann
|
b600498d0e
|
Better output for checking the fully observable model.
|
5 years ago |
|
Tim Quatmann
|
a8f891aa06
|
Merge branch 'master' into prism-pomdp
|
5 years ago |
|
Tim Quatmann
|
8c32705b99
|
Silenced deprecation warnings from newer versions of IntelTBB (since version 2020?). These warnings only referred to features we do not use and could be addressed by only including the relevant parts of inteltbb
|
5 years ago |
|
Tim Quatmann
|
7f102c915b
|
Improved some output
|
5 years ago |
|
Tim Quatmann
|
a8f3205d96
|
minor clean-up of includes
|
5 years ago |
|
Tim Quatmann
|
3220354187
|
Merge branch 'master' into prism-pomdp
|
5 years ago |
|
Tim Quatmann
|
1187c0fca1
|
Added a CMAKE option for ThinLTO
|
5 years ago |
|
Tim Quatmann
|
2b57211a98
|
cli: Making sure that the warning for unsupported model checking queries is only displayed in the main binary.
|
5 years ago |
|
Tim Quatmann
|
558078b6e9
|
MakePOMDPCanonic: Improved output of error message
|
5 years ago |
|
Tim Quatmann
|
54b912d350
|
storm-pomdp: better output.
|
5 years ago |
|
Tim Quatmann
|
e76efd14d5
|
POMDP: Filling the statistics struct with information. Also incorporated aborting (SIGTERM, i.e. CTRL+C)
|
5 years ago |
|
Tim Quatmann
|
9d7b447b56
|
Storm-pomdp: Print if a result is not available.
|
5 years ago |
|
Tim Quatmann
|
7d4e8cf213
|
POMDP: Print the statistics from the new statistics struct.
|
5 years ago |
|
Tim Quatmann
|
6f3fab8e80
|
Added a statistics struct to the approximatePOMDP model checker
|
5 years ago |
|
Tim Quatmann
|
0b3945ca12
|
Pomdp/FormulaInformation: Added template instantiations which apparently are needed with LTO
|
5 years ago |
Alexander Bork
|
311362d995
|
Removal of some more obsolete code
|
5 years ago |
|
Alexander Bork
|
0507da4ffa
|
Adjusted Refinement Procedure for rewards
|
5 years ago |
|
Alexander Bork
|
62e3a62686
|
Fix for belief reward computation
|
5 years ago |
|
Alexander Bork
|
44fd26bd13
|
Implementation of exploration stopping in refinement procedure for newly added states
|
5 years ago |
|
Alexander Bork
|
77b1de510f
|
Renaming of naive underapproximation value map
|
5 years ago |
|
Alexander Bork
|
02a325ba75
|
Fixed error that refinement did not stop if initial computation already yields same values for over- and under-approximation
|
5 years ago |
|
Alexander Bork
|
054c2a906e
|
Fixed wrong error when over- and under-approximation values are equal
|
5 years ago |
|
Alexander Bork
|
d28c982fbd
|
Fix for missing initial belief ID in return struct
|
5 years ago |
|
Alexander Bork
|
00a89d3565
|
Merge remote-tracking branch 'origin/prism-pomdp' into prism-pomdp
|
5 years ago |
|
Alexander Bork
|
8e30e27eb9
|
Removal of obsolete code
|
5 years ago |
|
Tim Quatmann
|
581e165fb9
|
Actually use the refinement precision....
|
5 years ago |
|
Tim Quatmann
|
de483cd3c1
|
Added missing number conversion.
|
5 years ago |
|
Tim Quatmann
|
b3493b5888
|
Grid: Added cli setting to cache subsimplices.
|
5 years ago |
|
Tim Quatmann
|
3aaea1eb0a
|
Added new CLI settings for GridApproximation
|
5 years ago |
|
Tim Quatmann
|
a11ec691a9
|
Introduced options in the ApproximatePOMDPModelChecker.
|
5 years ago |
|
Tim Quatmann
|
bf7f84f796
|
Added --check-fully-observable option to easily check the underlying MDP
|
5 years ago |
|
Tim Quatmann
|
5bdcb66fcb
|
Fixes for reward formulas
|
5 years ago |
|
Tim Quatmann
|
24faf636d7
|
removed unused variables.
|
5 years ago |
|
Tim Quatmann
|
12f498356a
|
Fixed help message
|
5 years ago |
|
Tim Quatmann
|
6c32b645c4
|
Fixed compilation with mathsat.
|
5 years ago |
|
Tim Quatmann
|
0147d57884
|
Merge branch 'master' into prism-pomdp
|
5 years ago |
|
Tim Quatmann
|
58de346bd5
|
Revert "Fixed compilation with mathsat."
This reverts commit 8b57b18201.
|
5 years ago |
|
Alexander Bork
|
9e0163ef9a
|
Merge remote-tracking branch 'origin/prism-pomdp' into prism-pomdp
|
5 years ago |
Sebastian Junges
|
c1d0d332c1
|
Merge branch 'master' into prism-pomdp
|
5 years ago |
|
Sebastian Junges
|
01e3752d09
|
updated changelog
|
5 years ago |
|
Sebastian Junges
|
22e20e93a9
|
permissive strategy test should also run without mathsat
|
5 years ago |
|
Sebastian Junges
|
542f94babd
|
report on gurobi library, extended libraries and prefer (empirically) newer versions over older versions
|
5 years ago |
|
Alexander Bork
|
c303ba361f
|
Merge remote-tracking branch 'origin/prism-pomdp' into prism-pomdp
# Conflicts:
# src/storm-pomdp/modelchecker/ApproximatePOMDPModelchecker.cpp
|
5 years ago |
|
Alexander Bork
|
c2582058c9
|
Added first version of refinement with reuse of previous results
|
5 years ago |
|
Tim Quatmann
|
27ac99806e
|
Stopwatch: added restart() method
|
5 years ago |
