Tree: 5fe81952cb

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '5fe81952cb'

${ noResults }

Commit Graph

9371 Commits (5fe81952cb56538346fd811f43ae7a23d752a54e)

 

All Branches   

Search

Author	SHA1	Message	Date
Tim Quatmann	fe4ef46f6b	CheckTask now stores player coalition.	5 years ago
Tim Quatmann	d1b068eddf	specified supported rpatl fragment a bit more precisely	5 years ago
Stefan Pranger	01ed518ab3	AbstractMC passes game formula to the rpatl MC	5 years ago
Stefan Pranger	8dee62cbdd	added sparse MC templates for SMGs	5 years ago
Stefan Pranger	ace401f120	added smg rpatl model checker	5 years ago
Tim Quatmann	f28e59ab8d	Polished SMG model	5 years ago
Tim Quatmann	109a885c65	PlayerCoalition: Added a getter for players	5 years ago
Tim Quatmann	4affb76bb1	Renamed Coalition to more descriptive PlayerCoalition	5 years ago
Tim Quatmann	735874462c	Polished fragment specification and formula visitors for new GameFormulas	5 years ago
Tim Quatmann	4c5bc4e2a2	Polished GameFormula and Coalition code	5 years ago
Tim Quatmann	2cf73f9b10	ModelType: Fixed capitalization of SMG output	5 years ago
Stefan Pranger	4d4cd6e7f4	rpatl extends prctl	5 years ago
Stefan Pranger	8e55ec62ad	gameForumlas now gather referenced variables	5 years ago
Stefan Pranger	6c97e9dc29	rpatl smg formulas now accept operatorFormulas	5 years ago
Stefan Pranger	8d47ad2bd7	refactor Coalition to use boost variant	5 years ago
Stefan Pranger	2972f43def	removed print from CloneVisitor	5 years ago
Stefan Pranger	3f2aaf72b0	fixed typo in arg list of GameFormula	5 years ago
Stefan Pranger	2721f24b9b	added Coalition default ctor	5 years ago
Stefan Pranger	487eb13a24	WIP added grammar rules for gameFormula Does not compile at this stage! This commit will be squashed asap.	5 years ago
Stefan Pranger	df52e5af88	added casting getter for gameFormula	5 years ago
Stefan Pranger	2f5a53196c	added rPATL to FragmentSpecifitcations	5 years ago
Stefan Pranger	7d87a90c1e	added multiple Visitor methods for gameFormulas	5 years ago
Stefan Pranger	09cb1d465c	added GameFormula class	5 years ago
Stefan Pranger	310c9d21d4	added Coalition class will be used in rPATL formulas	5 years ago
Stefan Pranger	bc5eec34d2	switch cases in engine now feature SMG case	5 years ago
Tim Quatmann	875410a59e	Polished ExplicitModelBuilder: * ChoiceInformationBuilder renamed to StateAndChoiceInformationBuilder, now also keeping track of state-based information (StateValuations, MarkovianStates, statePlayerIndications) * ModelComponents now consider statePlayerIndications and PlayerNamesToIndices separately	5 years ago
Tim Quatmann	277f802850	* PlayerIndex is now declared in a separate file (as this can potentially be independent of PRISM input). * Polished PrismNextStateGenerator, in particular more proper error handling	5 years ago
Matthias Volk	3ba9ae637c	Run doxygen deploy on push and do not keep history	5 years ago
Daniel Basgöze	d2c6420356	Add doxygen deploy workflow currently manually triggered	5 years ago
Daniel Basgöze	df721f55d7	Cleanup comments	5 years ago
Tim Quatmann	97b2d751e0	* prism::Player's no longer keep track of module and action indices to reduce redundancies. * PrismProgram::CheckValidity and PrismProgram::simplify now treat SMGs properly * PrismProgram is now responsible for moduleIndex->playerIndex and actionIndex->playerIndex assignment * More defined behavior for actions that don't have a player (work in progress)	5 years ago
Tim Quatmann	6fe76a009d	Polished parsing of Prism-SMGs, in particular * Fixed issues related to module renaming that resulted from setting the module indices already in the first run * Fixed a few uint_fast32_t vs uint_fast64_t issues, created alias PlayerIndex	5 years ago
Stefan Pranger	81db530f70	do not clear moduleToIndexMap for second run	5 years ago
Stefan Pranger	52e30059e3	fix reorder warning	5 years ago
Tim Quatmann	e529045a8f	Merge commit '6a71c19d8a5808b3a0c5be21f0966e8ada7f4252' into smg-merge	5 years ago
Sebastian Junges	4a7ea35959	first version for action mask callbacks in explicit generator	5 years ago
Sebastian Junges	7a38f54d01	extend the next state generator to support prism program simulation	5 years ago
Sebastian Junges	e5ed114715	a first simulator of prism files	5 years ago
Sebastian Junges	aa6a3d2142	sampling from a distribution and from a choice	5 years ago
Sebastian Junges	00a85cb184	accessors for model	5 years ago
Stefan Pranger	b3f5cd1c89	fixed call of inherited function and short curcuiting problem. Maybe && is overloaded somewhere?	5 years ago
Stefan Pranger	0e79f71435	change optimization direction if overridden	5 years ago
Stefan Pranger	50fdc36387	check convergence with weighted values This is used for approximations for LRA MC for SMGs.	5 years ago
Stefan Pranger	505c830d42	set optdir overrides from multiplier env	5 years ago
Stefan Pranger	c7d7be8b83	nondetTs may also be gameNondetTs in LraViHelper	5 years ago
Stefan Pranger	de385b0527	added method for lra game transition type also added the according template class constructions.	5 years ago
Stefan Pranger	4c7968b4cf	added and finalized NondetGamehelper methods This still needs some better documentation for the introduced class methods. Also removed some debug printing.	5 years ago
Stefan Pranger	ea90c1ac7d	added and finalized methods for rpatlMC	5 years ago
Stefan Pranger	f72f83f23e	computeLongRunAverageValues is now virtual in SparseInfiniteHorizonHelper, since SparseNondeterministicGameInfiniteHorizonHelper needs to overwrite it.	5 years ago
Stefan Pranger	b61d947057	parse coalition operator and set row group optdirs	5 years ago