Tree: 51f71b2b7a

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '51f71b2b7a'

${ noResults }

Commit Graph

3732 Commits (51f71b2b7a7defeaea3dd15010a7decc90744b47)

 

All Branches   

Search

Author	SHA1	Message	Date
Sascha Wunderlich	51f71b2b7a	automata.finite: remove some imports	9 years ago
Sascha Wunderlich	2ea82a99a2	automata.finite: toDot methods for DFA	9 years ago
David Müller	4dac6f64c1	Bugfixes for NFA/DFA-Library * Reversing NFA: Fixed Iterating issue * Determinisation: Fixed issue for initial and accepting state in DFA * Determinisation: Take over APs * Adding complete-Function for DFAs * Other minor bugfixes * Adding minor helper functions	9 years ago
Sascha Wunderlich	95f7208c05	automata/finite: initial version	9 years ago
Joachim Klein	95a5f843f6	imported patch ProbModel-comments-for-constructor.patch	7 years ago
Joachim Klein	9f3f8bc820	imported patch explicit-MDP-prob01ae-with-prerel-compute-strat.patch	7 years ago
Joachim Klein	4d42482618	imported patch explicit-mdp-prob01-rel.patch	7 years ago
Joachim Klein	37a8adbe41	(TODO) IncomingChoiceRelation: calculatePreStar TODO: optimize data types (Stack, BitSets)?	7 years ago
Joachim Klein	28dd4cd3eb	imported patch ChoicesMask.patch	7 years ago
Joachim Klein	ffc2cf9723	imported patch BitSetTools-prelim.patch	7 years ago
Joachim Klein	ae22faf097	imported patch MultiObjective-support-lowerbounds-via-LTL.patch	7 years ago
Joachim Klein	c70db33e06	imported patch activate-ltl-step-bounds.patch	7 years ago
Joachim Klein	0038984be4	imported patch ExpandStepBoundsSyntactically.patch	7 years ago
Joachim Klein	0ed7e6cec6	imported patch time-bounded-not-supported-message.patch	7 years ago
Joachim Klein	881ecfef2f	imported patch predecessor-LTLMC-use-backward.patch	7 years ago
Joachim Klein	e03cf7dbe5	imported patch predecessor-ec-computer-use-backward.patch	7 years ago
Joachim Klein	c17d91c1e6	imported patch predecessor-ECComputer.setPre.patch	7 years ago
Joachim Klein	19d8e743eb	imported patch predecessor-restrict-diagnostics.patch	7 years ago
Joachim Klein	da4eda6c5d	imported patch NondetModelChecker-cosafety-guard-against-rewards.patch	7 years ago
Joachim Klein	59a8c994d1	imported patch Wrapper.patch	7 years ago
Joachim Klein	51b0319520	imported patch symb-counter-transform-ProbModelChecker-protect-dtmc-trew.patch	7 years ago
Joachim Klein	c4bd020074	imported patch symb-counter-transform-ProbModelChecker-protect-negative.patch	7 years ago
Joachim Klein	29cf893bc3	imported patch symb-counter-transform-ProbModelChecker.patch	7 years ago
Joachim Klein	921c5e1642	imported patch symb-counter-transform-NondetModelChecker.patch	7 years ago
Joachim Klein	5f356b0bf2	imported patch symb-counter-transform-transformations.patch	7 years ago
Joachim Klein	4e939c529b	imported patch symb-counter-transform-TransitionsByRewardsInfo.patch	7 years ago
Joachim Klein	04bd6715b4	imported patch symb-MET-LTLModelChecker-rabin-no-darowcol.patch	7 years ago
Joachim Klein	90aff0ecf7	imported patch symb-MET-LTLModelChecker-rabin-darowcol-optional.patch	7 years ago
Joachim Klein	e9fe0ed21a	imported patch symb-common-symbolic-streett-ecs.patch	7 years ago
Joachim Klein	12174ee937	imported patch min-max--multi-protect-against-explicitMinMax.patch	7 years ago
Joachim Klein	68bb1ea0ac	imported patch min-max-min.max.parser-refresh.patch	7 years ago
Joachim Klein	b7efab34b9	imported patch min-max-min.max.parser.patch	7 years ago
Joachim Klein	70af773c40	quantile-common: Adapt OpRelBound to multi-threshold	7 years ago
Joachim Klein	e19cf40438	imported patch min-max-ExpressionProbRewardMinMaxConstructor.patch	7 years ago
Joachim Klein	8de542e234	imported patch min-max-min-max-2.patch	7 years ago
Joachim Klein	e25a6a4e0b	imported patch min-max-new-min-max-check.patch	7 years ago
Joachim Klein	2177d029dd	imported patch symb.ModelExpressionTransformationIdentity.patch	7 years ago
Joachim Klein	d98540b86a	imported patch symb-common-ModelCheckers.public.checkUntilProbs.patch	7 years ago
Joachim Klein	b7211784bf	imported patch common-smmd-ExpressionIsNextMinus.patch	7 years ago
Joachim Klein	c2896a7aa3	imported patch common-smmd-StateValuesAndNot.patch	7 years ago
Joachim Klein	2d7cc17a8e	imported patch common-explicit.StateValues.partition.patch	7 years ago
Joachim Klein	82b708ef5b	imported patch rewardcounter-DTMC-no-negative.patch	7 years ago
Joachim Klein	a911a2eb88	imported patch rewardcounter-CTMC-extra-check-TODO.patch	7 years ago
Joachim Klein	1ebb8c6da5	imported patch rewardcounter-DTMC-MC-resolve-rewards.patch	7 years ago
Joachim Klein	96b4668afd	imported patch rewardcounter-continous-time-bounds.patch	7 years ago
Joachim Klein	16f63dd580	imported patch rewardcounter-reward-bound-checks.patch	7 years ago
Joachim Klein	2258a08c1a	imported patch rewardcounter-DTMCCounterTransformation.groupBounds.patch	7 years ago
Joachim Klein	31d10dfd1c	imported patch rewardcounter-CounterProduct.getStatesWithAccumulatedRewardInBoundConjunction.patch	7 years ago
Joachim Klein	2e75bec749	imported patch rewardcounter-IntegerBounds.isInBoundForConjunction.patch	7 years ago
Joachim Klein	6daac6fec2	imported patch rewardcounter-IntegerBounds.getMaximalInterestingValueForConjunction.patch	7 years ago