Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add support for POSMG #49

Merged
merged 45 commits into from
Nov 20, 2024
Merged

Add support for POSMG #49

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
45 commits
Select commit Hold shift + click to select a range
f12d235
add .DS_Store to .gitignore
PurpleDragon64 Jul 11, 2024
9fed216
create POSMG class
PurpleDragon64 Jul 12, 2024
66a29a5
bind POSMG to python
PurpleDragon64 Jul 12, 2024
0f9c411
implement POSMG parsing from .drn file
PurpleDragon64 Jul 12, 2024
6a47472
fix: add posmg's parent class to binding
PurpleDragon64 Jul 12, 2024
90a1ff8
add case for posmg in build_quotient_container
PurpleDragon64 Jul 12, 2024
9427844
Merge branch 'randriu:master' into master
PurpleDragon64 Jul 16, 2024
3993f6a
Merge remote-tracking branch 'origin/master' into posmg-manager
PurpleDragon64 Jul 16, 2024
037fe37
add Smg class to models.py
PurpleDragon64 Jul 16, 2024
26d1fc4
rename PomdpParser to DrnParser
PurpleDragon64 Jul 17, 2024
ce50a91
add posmg specification parsing
PurpleDragon64 Jul 17, 2024
17fff9a
add getMdp and getPomdp methods to Posmg class
PurpleDragon64 Jul 17, 2024
5465f40
rename posg to posmg
PurpleDragon64 Jul 17, 2024
e9409b1
add simple posmg to models
PurpleDragon64 Jul 20, 2024
79d1c42
add methods to Posmg class
PurpleDragon64 Jul 20, 2024
30df56c
start implementing PosmgManager (constructMdp)
PurpleDragon64 Jul 20, 2024
0983be9
finish posmg manager and posmg quotient
PurpleDragon64 Jul 23, 2024
cbfa942
improve posmg specification parsing
PurpleDragon64 Jul 24, 2024
668e735
rename check_specification_for_mdp method to check_specification
PurpleDragon64 Aug 14, 2024
2ab56c6
implement synthesizer_posmg
PurpleDragon64 Aug 14, 2024
565256b
add action holes to non optimizing player states
PurpleDragon64 Aug 14, 2024
a0973d0
override check_specification method in PosmgQuotient
PurpleDragon64 Aug 14, 2024
c70b49b
Removed duplicate quotient unfolding for POMDP/Dec-POMDP/POSMG; added…
TheGreatfpmK Aug 15, 2024
13d355d
add pursuit-evasion game model
PurpleDragon64 Aug 25, 2024
eae10e2
WIP solving the MEC problem in game solver; added more test models
TheGreatfpmK Aug 28, 2024
af0088d
Fixed the SMG solver
TheGreatfpmK Aug 29, 2024
68dc485
Optimized the code for producing schedulers in SMGs
TheGreatfpmK Aug 30, 2024
9bd6c5a
Added support for Pmin properties
TheGreatfpmK Sep 9, 2024
7914a2e
fix: now accept probability specification for non-game models
PurpleDragon64 Sep 13, 2024
aaf2079
add support for constraints in posmg quotient
PurpleDragon64 Sep 13, 2024
104e6b3
add posmg models
PurpleDragon64 Nov 7, 2024
1ff19b9
create simple script to export prism model to drn using prism games
PurpleDragon64 Nov 7, 2024
e094bff
fix missing condition in drn parser
PurpleDragon64 Nov 7, 2024
4bb8759
Merge branch 'randriu:master' into master
PurpleDragon64 Nov 7, 2024
ac4ceb9
Merge branch 'posmg-manager'
PurpleDragon64 Nov 9, 2024
c3dbc29
tmp fix: cpp version, missing gmp include, cast from uint to int
PurpleDragon64 Nov 9, 2024
1cd10ff
feat: bind nondeterministic choice indices attribute to POSMG
PurpleDragon64 Nov 10, 2024
e0fd281
fix: dont crash when trying to add missing choice labels to posmg (cu…
PurpleDragon64 Nov 10, 2024
5e779a8
Changed the use of design_space to family in Posmg synthesizer
TheGreatfpmK Nov 11, 2024
1643a67
Merge branch 'randriu:master' into master
TheGreatfpmK Nov 11, 2024
75e5ffe
Merge remote-tracking branch 'upstream/master'
PurpleDragon64 Nov 15, 2024
40d4ed3
some game code refactoring
TheGreatfpmK Nov 18, 2024
4028535
updated how optimizing player is saved in posmg quotient
TheGreatfpmK Nov 18, 2024
3beadd3
removed comment
TheGreatfpmK Nov 18, 2024
356acb6
add game_formula to Property init
PurpleDragon64 Nov 18, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,7 @@ __pycache__/

prerequisites/

.vscode
.vscode

# OSX
.DS_Store
1 change: 0 additions & 1 deletion models/posg/dodge-8/sketch.props
View file
Open in desktop

This file was deleted.

1 change: 0 additions & 1 deletion models/posg/multi-dodge4/sketch.props
View file
Open in desktop

This file was deleted.

1 change: 1 addition & 0 deletions models/posmg/attacker-defender/sketch.props
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<<0>> Pmin=? [ F "goal" ]
Loading