Sascha Wunderlich
|
57578cc560
|
Disable check for positive rewards (HACK)
|
2 years ago |
|
Sascha Wunderlich
|
ef4610ba7c
|
Update Dockerfile to JDK21
|
2 years ago |
|
Sascha Wunderlich
|
fa612cb601
|
Add Dockerfile
|
2 years ago |
|
Sascha Wunderlich
|
cfb6b7c5f3
|
Fix missing include in sparse.cc
|
5 years ago |
|
Joachim Klein
|
ac1ea31b4f
|
accumulation: Fix reward construction UNTESTED
|
5 years ago |
|
Joachim Klein
|
f6417b1204
|
accumulation + DFA stuff (patch-based rebase) UNTESTED
|
5 years ago |
|
Joachim Klein
|
cbfd553ddb
|
fix DigitalClock manipulation
|
5 years ago |
|
Joachim Klein
|
05d615fd2c
|
fixup DigitalClock bounds
|
5 years ago |
|
Joachim Klein
|
f13ca25f6c
|
fixup CounterTransformation (rewardGen)
|
5 years ago |
|
Joachim Klein
|
c963aa67f6
|
imported patch ProbModel-comments-for-constructor.patch
|
7 years ago |
|
Joachim Klein
|
21ad6001f8
|
imported patch explicit-MDP-prob01ae-with-prerel-compute-strat.patch
|
7 years ago |
|
Joachim Klein
|
95d6d6061d
|
imported patch explicit-mdp-prob01-rel.patch
|
7 years ago |
|
Joachim Klein
|
d3eec878fa
|
(TODO) IncomingChoiceRelation: calculatePreStar
TODO: optimize data types (Stack, BitSets)?
|
7 years ago |
|
Joachim Klein
|
d9633bf638
|
imported patch ChoicesMask.patch
|
7 years ago |
|
Joachim Klein
|
981d818191
|
imported patch BitSetTools-prelim.patch
|
7 years ago |
|
Joachim Klein
|
a88256d555
|
imported patch MultiObjective-support-lowerbounds-via-LTL.patch
|
7 years ago |
|
Joachim Klein
|
375f4690a7
|
imported patch activate-ltl-step-bounds.patch
|
7 years ago |
|
Joachim Klein
|
94c095ffc6
|
imported patch ExpandStepBoundsSyntactically.patch
|
7 years ago |
|
Joachim Klein
|
5022be36c3
|
imported patch time-bounded-not-supported-message.patch
|
7 years ago |
|
Joachim Klein
|
709a5859c1
|
imported patch predecessor-LTLMC-use-backward.patch
|
7 years ago |
|
Joachim Klein
|
d76bd5d8eb
|
imported patch predecessor-ec-computer-use-backward.patch
|
7 years ago |
|
Joachim Klein
|
dd9c794e34
|
imported patch predecessor-ECComputer.setPre.patch
|
7 years ago |
|
Joachim Klein
|
2800975309
|
imported patch predecessor-restrict-diagnostics.patch
|
7 years ago |
|
Joachim Klein
|
35786a8b38
|
imported patch NondetModelChecker-cosafety-guard-against-rewards.patch
|
7 years ago |
|
Joachim Klein
|
b11409c674
|
imported patch Wrapper.patch
|
7 years ago |
|
Joachim Klein
|
26404d8bb3
|
imported patch symb-counter-transform-ProbModelChecker-protect-dtmc-trew.patch
|
7 years ago |
|
Joachim Klein
|
6f227818bc
|
imported patch symb-counter-transform-ProbModelChecker-protect-negative.patch
|
7 years ago |
|
Joachim Klein
|
42dc01a1b5
|
imported patch symb-counter-transform-ProbModelChecker.patch
|
7 years ago |
|
Joachim Klein
|
cd75a75415
|
imported patch symb-counter-transform-NondetModelChecker.patch
|
7 years ago |
|
Joachim Klein
|
a362472fd8
|
imported patch symb-counter-transform-transformations.patch
|
7 years ago |
|
Joachim Klein
|
c5fce8f507
|
imported patch symb-counter-transform-TransitionsByRewardsInfo.patch
|
7 years ago |
|
Joachim Klein
|
2e0d123a68
|
imported patch symb-MET-LTLModelChecker-rabin-no-darowcol.patch
|
7 years ago |
|
Joachim Klein
|
418b5e7bd6
|
imported patch symb-MET-LTLModelChecker-rabin-darowcol-optional.patch
|
7 years ago |
|
Joachim Klein
|
1043d51ccf
|
imported patch symb-common-symbolic-streett-ecs.patch
|
7 years ago |
|
Joachim Klein
|
774edd1dbf
|
imported patch min-max--multi-protect-against-explicitMinMax.patch
|
7 years ago |
|
Joachim Klein
|
3ebd913326
|
imported patch min-max-min.max.parser-refresh.patch
|
7 years ago |
|
Joachim Klein
|
29bf08abb3
|
imported patch min-max-min.max.parser.patch
|
7 years ago |
|
Joachim Klein
|
eb2e84b40f
|
quantile-common: Adapt OpRelBound to multi-threshold
|
7 years ago |
|
Joachim Klein
|
93c5049660
|
imported patch min-max-ExpressionProbRewardMinMaxConstructor.patch
|
7 years ago |
|
Joachim Klein
|
1012e1e65a
|
imported patch min-max-min-max-2.patch
|
7 years ago |
|
Joachim Klein
|
57e8229ceb
|
imported patch min-max-new-min-max-check.patch
|
7 years ago |
|
Joachim Klein
|
4b5675dbcb
|
imported patch symb.ModelExpressionTransformationIdentity.patch
|
7 years ago |
|
Joachim Klein
|
f8c7b90c69
|
imported patch symb-common-ModelCheckers.public.checkUntilProbs.patch
|
7 years ago |
|
Joachim Klein
|
aff916e48a
|
imported patch common-smmd-ExpressionIsNextMinus.patch
|
7 years ago |
|
Joachim Klein
|
49b38136ce
|
imported patch common-smmd-StateValuesAndNot.patch
|
7 years ago |
|
Joachim Klein
|
cbc53e1ff3
|
imported patch common-explicit.StateValues.partition.patch
|
7 years ago |
|
Joachim Klein
|
3dac91de49
|
imported patch rewardcounter-DTMC-no-negative.patch
|
7 years ago |
|
Joachim Klein
|
1d38f7d070
|
imported patch rewardcounter-CTMC-extra-check-TODO.patch
|
7 years ago |
|
Joachim Klein
|
bf959ba54e
|
imported patch rewardcounter-DTMC-MC-resolve-rewards.patch
|
7 years ago |
|
Joachim Klein
|
272967a7e1
|
imported patch rewardcounter-continous-time-bounds.patch
|
7 years ago |
