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

merged 45 commits into from
Nov 20, 2024

Conversation

PurpleDragon64
Copy link
Contributor

  • posmg models

Paynt

  • posmg quotient
  • posmg synthesizer
  • property parsing

Payntbind

  • Posmg class
  • Posmg manager class

PurpleDragon64 and others added 30 commits July 11, 2024 11:22
@PurpleDragon64
add .DS_Store to .gitignore
f12d235
@PurpleDragon64
create POSMG class
9fed216
@PurpleDragon64
bind POSMG to python
66a29a5
@PurpleDragon64
implement POSMG parsing from .drn file
0f9c411
@PurpleDragon64
fix: add posmg's parent class to binding
6a47472
@PurpleDragon64
add case for posmg in build_quotient_container
90a1ff8
@PurpleDragon64
Merge branch 'randriu:master' into master
9427844
@PurpleDragon64
Merge remote-tracking branch 'origin/master' into posmg-manager
3993f6a
@PurpleDragon64
add Smg class to models.py
037fe37
@PurpleDragon64
rename PomdpParser to DrnParser
26d1fc4
@PurpleDragon64
add posmg specification parsing
ce50a91
@PurpleDragon64
add getMdp and getPomdp methods to Posmg class
17fff9a
@PurpleDragon64
rename posg to posmg
5465f40
@PurpleDragon64
add simple posmg to models
e9409b1
@PurpleDragon64
add methods to Posmg class
79d1c42
@PurpleDragon64
start implementing PosmgManager (constructMdp)
30df56c
@PurpleDragon64
finish posmg manager and posmg quotient
0983be9
@PurpleDragon64
improve posmg specification parsing
cbfa942
@PurpleDragon64
rename check_specification_for_mdp method to check_specification
668e735
@PurpleDragon64
implement synthesizer_posmg
2ab56c6
@PurpleDragon64
add action holes to non optimizing player states
565256b
@PurpleDragon64
override check_specification method in PosmgQuotient
a0973d0
@TheGreatfpmK
Removed duplicate quotient unfolding for POMDP/Dec-POMDP/POSMG; added…
c70b49b 
… initial_memory setting to POSMG; updated POSMG synthesis to display game iterations; added new test POSMG model
@PurpleDragon64
add pursuit-evasion game model
13d355d
@TheGreatfpmK
WIP solving the MEC problem in game solver; added more test models
eae10e2
@TheGreatfpmK
Fixed the SMG solver
af0088d
@TheGreatfpmK
Optimized the code for producing schedulers in SMGs
68dc485
@TheGreatfpmK
Added support for Pmin properties
9bd6c5a
@PurpleDragon64
fix: now accept probability specification for non-game models
7914a2e
@PurpleDragon64
add support for constraints in posmg quotient
aaf2079
@TheGreatfpmK
Copy link
Collaborator

@randriu check if you are happy with the change to check_specification_for_mdp in synthesizer_ar.

@TheGreatfpmK
Copy link
Collaborator

Please check the changes in 40d4ed3

I had to add game_formula field to property as changing the formula here to the game formula breaks the DTMC model checking in AR (line 81 synthesizer_ar.py) and I think this is more straightforward

@TheGreatfpmK TheGreatfpmK merged commit 5acbbc5 into randriu:master Nov 20, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@PurpleDragon64 @TheGreatfpmK