9487 Commits (d4ae043601c6a80cc009e62db846106627030c28)
 

Author SHA1 Message Date
Stefan Pranger c9d5e2959a let MDP helper return type store choiceValues 4 years ago
Stefan Pranger 0c619c097c WIP: init shielding for SMGs 4 years ago
Stefan Pranger 5051b9f9f7 fixed typo 4 years ago
Stefan Pranger dccb9e5f8b changed some debug output 4 years ago
Stefan Pranger 72baec5ec1 substituteFormula now respects shieldExpression 4 years ago
Stefan Pranger a3da5642f1 removed unused member of checkTask 4 years ago
Stefan Pranger d9db7d57b3 parsing ShieldExpression into shared_ptr 4 years ago
Stefan Pranger 102b26b933 CheckTask may now hold info about shielding query 4 years ago
Stefan Pranger d4d3c0d9ea Jani Props may now hold info about shielding query 4 years ago
Stefan Pranger 00479b4877 added printout for shielding queries 4 years ago
Stefan Pranger 283f4ea6a2 added toString method for ShieldExpression 4 years ago
Stefan Pranger 66a8e472e3 added ostream for ShieldExpression 4 years ago
Stefan Pranger fa47742a14 added checks for multiplicative factor parsing 4 years ago
Stefan Pranger f6b341168d added formula parser grammar for shields 4 years ago
Stefan Pranger 16fafbcfcc properties now hold information about shield query 4 years ago
Stefan Pranger 5a2657346b added shield expression class 4 years ago
Matthias Volk 6f39d431a3 Github Actions: only run doxygen and deploy on master branch of original 4 years ago
Stefan Pranger 7ef70401ed Merge pull request 'boundedGlobally' (#19) from next_formulae into main 4 years ago
Lukas Posch 027ed523cd added constrainedChoiceValues for boundedGloballyFormulas 4 years ago
Tim Quatmann 168b5fabd6
Silenced several warnings 4 years ago
Tim Quatmann 45a7db8222
LpMinMaxLinearEquationSolver: Fixed an issue when using glpk occurring when the lower bound of a variable matches the upper bound. Also revamped retrieving of lower/upper bounds. 4 years ago
Tim Quatmann e59918668e
AbstractEquationSolver: Added more convenient getters for the most appropriate lower/upper bound of a given variable 4 years ago
Lukas Posch 59c5aeadea changed message for boundedGloballyFormula 4 years ago
Lukas Posch f6829dd109 clean up BoundedGloballyGameViHelper 4 years ago
Lukas Posch 0fd952c6f7 removed b 4 years ago
Lukas Posch bcd67c63f7 removed "...Reachability" from GameViHelper and BoundedGloballyGameViHelper 4 years ago
Lukas Posch 5e040553a6 changed error message 4 years ago
Lukas Posch 0ea549864f fixed assert for using lowerBounds 4 years ago
Lukas Posch 02bc7f3f69 added assert for using lowerBounds 4 years ago
Matthias Volk 6df0efcd3e
Set result correctly for reachability rewards in MdpInstantiationChecker 4 years ago
Lukas Posch 64861445fe bug fix bounded globally 4 years ago
Tim Quatmann eaff65ef27 LinearCoefficientVisitor: Fixed translation of division expressions. 4 years ago
Sebastian Junges 5d45514af2 avoid parsing jani after creating model - fix in lvalue to allow this 4 years ago
Sebastian Junges 3355b21b72 add timing info to storm-pomdp 4 years ago
Sebastian Junges d6ab421cb7 add belief-support-mdp generator 4 years ago
Sebastian Junges 3c58b5b2f7 case split for MDPs actually checks for MDPs 4 years ago
Sebastian Junges 08f928456c fix guard for code that considers transient assignments to also consider only transient assignments 4 years ago
Sebastian Junges 6b6f44100e allow building parametric models of the form s --p-->, s--q--> 4 years ago
Lukas Posch 8df4a99770 small changes, but did not fix the bug 4 years ago
Lukas Posch 489d8a5fd2 added bounds to model checker and parse it for probability calculation of bounded globally formulas 4 years ago
Lukas Posch 50c7a69f94 added bounds to computeBoundedGlobally Probabilities and parse upperBound to the game vi helper, additional little changes 4 years ago
Lukas Posch 66f893edcb changed globally formula grammar and added the case for bounded globally formulas for createGloballyFormula 4 years ago
Lukas Posch 023e067c59 added bounded globally formulas to other classes 4 years ago
Lukas Posch e1599efc6f added upperBound to valueIteration of BoundedGloballyGameViHelper 4 years ago
Lukas Posch ef415d4347 added needed methods to class BoundedGloballyFormula 4 years ago
Lukas Posch dbc0cacb45 added bounded globally to AbstractModelChecker 4 years ago
Sebastian Junges 7beb999219 label unlabelled commands 4 years ago
Sebastian Junges 71f60e812c more precise analysis of whether commands will synchronize 4 years ago
Sebastian Junges c4187b03eb fixed error messages 4 years ago
Sebastian Junges a5842e4a61 nasty bug where some sync action indices where not reflected in one of the data structures 4 years ago