sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
2423 Commits
1 Branch
0 Tags
187 MiB
Tree: 0f7e54c526
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '0f7e54c526'
${ noResults }
Commit Graph

2423 Commits (0f7e54c52611bd554ef245ce849bf3e286fc8392)
 

Author SHA1 Message Date
sjunges 14639525b6 Revert "xerces on gitignore fix"
9 years ago
sjunges d06c92c10a Revert "Revert "added flag that indicates which interval bound is to be taken. added xerces to the gitignore""
9 years ago
sjunges dfd2cda380 Revert "added flag that indicates which interval bound is to be taken. added xerces to the gitignore"
9 years ago
dehnert 82f2927500 xerces on gitignore fix
9 years ago
dehnert 16ea224b6a added flag that indicates which interval bound is to be taken. added xerces to the gitignore
9 years ago
sjunges 57dffbcd4f further operators on models and reward models
9 years ago
sjunges a28ebac022 outcommented code for maximals
9 years ago
sjunges a07c2cacc4 missed files
9 years ago
sjunges 7e7e025900 modifying reward models
9 years ago
sjunges cf10fe206a modifiers for standard rew model, fix with non-const overload in model
9 years ago
sjunges 9e24144c27 getRewardModel, private, added
9 years ago
sjunges bd7fc0b341 operator< for stateaction pairs
9 years ago
sjunges 0cdca6a5fc BitVector iterator +=
9 years ago
sjunges 896d2bcaef propositional model checking for further interval reward model types
9 years ago
sjunges e4aab761d2 updates to perm schedulers
9 years ago
sjunges 98162d1d7e interface for rew. model extended for reinforcement learning
9 years ago
sjunges 765748c7cf graph stuff for other reward models..
9 years ago
sjunges e8799963fe compiles again
9 years ago
sjunges b8343255be fixed headers, allow changes in rew. model again
9 years ago
sjunges 53dc99deb0 prob01A for non.detmodels added (convenience function)
9 years ago
dehnert 31be908c5a mathsat does not like boolean arguments to ite-expressions, so we encode it ourselves now
9 years ago
dehnert 7ecd9958e8 more work on game-stuff
9 years ago
sjunges 131ab5b674 Updates on perm. schedulers
9 years ago
sjunges edbd7e827b MDPs, restrict choices, get choiceindex
9 years ago
dehnert beee4a9e82 fixed a bug in the tests that caused a segfault
9 years ago
dehnert 2376905810 more work
9 years ago
dehnert 381fe6d9a8 more work on translating BDDs to expressions
9 years ago
dehnert 4b24be7204 commit to switch workplace
9 years ago
sjunges 2f49418e63 Add dependency on xercesc
9 years ago
sjunges 21b0829b69 ...
9 years ago
sjunges e9b4aa5de4 xerces 2nd part
9 years ago
sjunges 73073d2fff Added Xerces
9 years ago
sjunges 288f34b083 Added Xerces
9 years ago
dehnert 8574d474a4 added support for computation of bottom states. not yet done
9 years ago
dehnert 781610b05d extended tests for validity of returned strategies
9 years ago
dehnert c624b19427 added no-cuts option. prob1 tests for game now passing.
9 years ago
dehnert e8b7928831 fixed minor bug
9 years ago
dehnert 1c42ed792b fixed some bugs, added some test, added some prob1 algorithm, and did some stuff, you know?
9 years ago
dehnert 972795912a added some convenience accessor methods in symbolic model/games. added return type for prob01 for games that can also store strategies. added tests for prob0 for games
9 years ago
dehnert 6c804732e1 introduced (probably buggy) versions of existsAbstractRepresentative on BDDs and prob0 for games
9 years ago
dehnert 0cfc4dfd4d (re)introduced min/maxAbstractRepresentative for ADDs
9 years ago
dehnert 0bd0b963d7 introduced new menu game class
9 years ago
dehnert 7cd1e6324f the abstraction now properly builds an instance of the game class
9 years ago
dehnert 1199ab95e3 fixed bug in expressions. all tests now passing
9 years ago
dehnert 0cd148c600 fixed more bugs. however, a test still fails, because the abstraction is wrong
9 years ago
dehnert e8794dee22 added more tests, not working yet, however
9 years ago
dehnert 5934d67514 DD meta variables can now be inserted at particular locations. added some tests for game abstraction
9 years ago
dehnert 8911d2ba63 added debug output and fixed some bugs
9 years ago
dehnert 88bcd7d74c deadlock states now get fixed in abstract game
9 years ago
dehnert 7f767993c6 Merge branch 'future' into menu_games
9 years ago