9333 Commits (1f17b31bbe9a9e5eb5d5ca564f496ee30a4ac510)
 

Author SHA1 Message Date
hannah 1f17b31bbe arbitrary choice for dontCareStates 3 years ago
hannah ebdfb2def8 keep the original modeltype during product construction 3 years ago
hannah c80a62ce06 added function for computation of memory states 3 years ago
hannah 71100e9d65 scheduler json export 3 years ago
hannah cceb3513ce set states to dontCare during scheduler computations, adapted Tests 3 years ago
hannah f92b2104b5 TODOs and fixed an error during scheduler creation 3 years ago
hannah 6b0aaeadb4 ignore dontCare States while printing 3 years ago
hannah 77ced0aefe fixed warning 3 years ago
Tim Quatmann c057e437e4 CMAKE: Do not mark STORM_USE_SPOT as advanced. 3 years ago
Tim Quatmann 9626c3c5f1 Cmake: Fixed output when including spot. 3 years ago
Tim Quatmann c1b06f40b7 CMAKE: Added option to include and link against Spot 3 years ago
hannah 412489a57f Added possibility to set (un)reachable states for scheduler 3 years ago
hannah 214d586d10 fixed scheduler choice in EC 3 years ago
hannah 6865ae1464 build memory structure from all states 3 years ago
Tim Quatmann 5c204182eb Added some todos 3 years ago
hannah b8712041bf fixed memory structure 3 years ago
hannah 1191e3068f more ltl scheduler tests 3 years ago
hannah bdb2aa8de9 fixed scheduler output 3 years ago
hannah d7b696a753 restructured the ltl-scheduler 3 years ago
hannah dd8d410748 updated scheduler-print and tests 3 years ago
hannah 93c2e92c2a updated LTL-scheduler 3 years ago
hannah 0983f2f564 print memory updates 3 years ago
hannah 49e346d52b new Test 3 years ago
hannah 991cf35f2f print memoryStructure 3 years ago
hannah 08c454f124 scheduler support for LTL-MC 3 years ago
hannah f596d7f486 fixed output 3 years ago
Tim Quatmann 7455bd8e00 add missing include 3 years ago
hannah 113f17372f set hasQualitativeResult to false for HOAFormulas 3 years ago
hannah 5cc5057cd6 removed unused function 3 years ago
hannah b49837eb4e use LTLHelper to compute HOAPath Formulas 3 years ago
hannah a88b64bad3 DTMC HOA tests 3 years ago
hannah 97c3bdd5a7 HOA Formula Parser Tests 3 years ago
hannah 4655dc19a1 fixed MDP-LTL test 3 years ago
hannah d21d2ca7e6 fixed exceptions 3 years ago
hannah ca6b3b8ce2 missing include 3 years ago
Tim Quatmann 4cdd70949c FormulaParser: HOA formulas shall only consider state-subformulas 3 years ago
hannah bf3894d2f8 DA state output 3 years ago
hannah 57734226e2 channged data structure for extracted formulas 3 years ago
hannah 71f72d84b2 Ma ltl-MC and tests 3 years ago
hannah 225169b2b3 added ltl2da option 3 years ago
hannah 1d5860de8d use same labels for equivalent maximal state formulas 3 years ago
hannah 75ddf49f2b compute SatSets via LTLHelper 3 years ago
hannah ecd4637df3 AP simplifications in LTL-Formula 3 years ago
hannah 1332e39b8c updated canHandle 3 years ago
hannah b75c16297f fixed some typos 3 years ago
hannah 8ba4f17a92 ltl-mc with MAs 3 years ago
hannah 78058b5152 ltl-mc with ctmcs 3 years ago
hannah 7f95f1fdbf ctmc and mdp tests 3 years ago
hannah a038d9658e added TODOs 3 years ago
hannah b06151b913 ctmc-ltl tests 3 years ago